Sprache, Beweis und Logik - Software

CD-ROM - Lernsoftware

Mit Sprache, Beweis und Logik liegt nun die auf zwei Bände angelegte deutsche Übersetzung des erfolgreichen Lehrbuchs Language, Proof and Logic vor. Band I führt in die klassische Aussagen- und Prädikatenlogik ein und übertrifft dabei andere Logikeinführungen an Ausführlichkeit und Praxisnähe bei weitem. Aus dem amerikanischen Englisch übersetzt und bearbeitet von Joachim Bromand, Thomas Müller und Giovanni Sommaruga. Das Softwarepaket ist nun erhältlich.

  *The price does not include shipping fees. We reserve the right to change prices.