Items related to Proof and Disproof in Formal Logic: An Introduction...
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic) - Softcover
Synopsis
Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims. Aimed at undergraduates and graduates in computer science, logic, mathematics and philosophy, the text includes reference to and exercises based on the computer software package JAPE, an interactive teaching and research tool designed and hosted by the author that is freely available on the web.
"synopsis" may belong to another edition of this title.
About the Author
Richard Bornat is at School of Computing Science, Middlesex University.
"About this title" may belong to another edition of this title.
Search results for Proof and Disproof in Formal Logic: An Introduction...
Stock Image
Proof and Disproof in Formal Logic: An Introduction for programmers (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # e7b5c5ec447cf842ad8260007822f09c
Buy New
US$ 97.54
US$ 6.32 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)
Published by
Oxford University Press, 2005
ISBN 10: 0198530277
ISBN 13: 9780198530275
Used
Softcover
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-B-017-02130
Buy Used
US$ 89.87
US$ 14.25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Proof and disproof in formal logic. An introduction for programmers.
Published by
Oxford, Oxford Univ. Press, 2005
ISBN 10: 0198530277
ISBN 13: 9780198530275
Used
Softcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Softcover. Condition: Gut. 243 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. M16170 9780198530275 Sprache: Englisch Gewicht in Gramm: 510. Seller Inventory # 2546711
Buy Used
US$ 60.15
US$ 45.94 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Proof and Disproof in Formal Logic: An Introduction for programmers
Published by
Oxford University Press, 2005
ISBN 10: 0198530277
ISBN 13: 9780198530275
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. Seller Inventory # B9780198530275
Buy New
US$ 119.66
US$ 20.29 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 15 available
Stock Image
Proof And Disproof in Formal Logic: An Introduction for Programmers
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1st edition. 264 pages. 9.25x6.50x0.75 inches. In Stock. Seller Inventory # zk0198530277
Buy New
US$ 153.69
US$ 13.39 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available