Proof and Disproof in Formal Logic: An Introduction for Programmers

by Richard Bornat

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. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a formal system-a collection of rules and axioms, which define a universe of logical proofs-is what gives us...

• Format: Paperback
• Language: English
• ISBN: 0198530277
• ISBN13: 9780198530275
• Release Date: September 2005
• Publisher: Oxford University Press, USA
• Length: 264 Pages
• Weight: 1.00 lbs.
• Dimensions: 0.6" x 6.6" x 9.3"