Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford texts in logic, vol.2) - Hardcover

Bornat, Richard

 
9780198530268: Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford texts in logic, vol.2)
Hardcover
ISBN 10: 0198530269 ISBN 13: 9780198530268
Verlag: Oxford University Press, 2005

Inhaltsangabe

A lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Oxford University Press
Erscheinungsdatum
2005
Sprache
Englisch
ISBN 10 
0198530269
ISBN 13 
9780198530268
Einband
Gebundene Ausgabe
Anzahl der Seiten
243
Kontakt zum Hersteller
ORIGINAL KAISER
https://corp.oup.com/

Via Liguria 4
San Giuliano Milanese
MI
20098
Italien

Weitere beliebte Ausgaben desselben Titels

9780198530275: Proof and Disproof in Formal Logic: An Introduction for Programmers. (Oxford texts in logic, vol.2)

Vorgestellte Ausgabe

ISBN 10:  0198530277 ISBN 13:  9780198530275
Verlag: Oxford University Press, 2005
Softcover