Proof and Disproof in Formal Logic: An Introduction for Programmers

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 ... Read More

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. Read Less

• All from $43.45
• New Books from $80.52
• Used Books from $43.45
• eBook from $46.50

• • eBook Details

  	This is a digital edition of this title. Rent eBook 365 Day Rental: $46.50 (Expires Jun 22, 2026) Buy eBook Lifetime Access: $61.99 Title: Proof and Disproof in Formal Logic by Richard Bornat Publisher: Oxford University Press Academic UK Print ISBN: 9780198530268, 0198530269 eText ISBN: 9780191586767 Edition: 2005 Format: PDF eBook	$46.50 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ