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.
Paperback
Availability:
Out of print
ISBN:
978-3-89785-442-0
Publication date:
01 Apr 2006
Copyright Date:
01 Jan 2006
*The price does not include shipping fees. We reserve the right to change prices.