Deduction: Introductory Symbolic Logic
Bonevac, Daniel
Verkauft von HPB-Red, Dallas, TX, USA
AbeBooks-Verkäufer seit 11. März 2019
Gebraucht - Softcover
Zustand: Gebraucht - Befriedigend
Anzahl: 1 verfügbar
In den Warenkorb legenVerkauft von HPB-Red, Dallas, TX, USA
AbeBooks-Verkäufer seit 11. März 2019
Zustand: Gebraucht - Befriedigend
Anzahl: 1 verfügbar
In den Warenkorb legenConnecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Bestandsnummer des Verkäufers S_426966588
Deduction is an efficient and elegant presentation of classical first-order logic. It presents a truth tree system based on the work of Jeffrey, as well as a natural deduction system inspired by that of Kalish and Montague.
Further information and select answers to problems available here: bonevac.info/deduction/About_the_Book.html
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.