An Introduction for Programmers
Author: Richard Bornat
Publisher: Oxford University Press on Demand
View: 947Proof 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. The logic it uses - natural deduction - is very simple and shows how large mathematical universes can be built on small foundations. Aimed at undergraduates and graduates in computerscience, logic, mathematics, and philosophy, the text includes reference to...