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

Bornat, Richard

 
9780198530275: Proof and Disproof in Formal Logic: An Introduction for Programmers. (Oxford texts in logic, vol.2)
Softcover
ISBN 10: 0198530277 ISBN 13: 9780198530275
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 
0198530277
ISBN 13 
9780198530275
Einband
Taschenbuch
Anzahl der Seiten
243
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italien

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  0198530269 ISBN 13:  9780198530268
Verlag: Oxford University Press, 2005
Hardcover