Proof and Disproof in Formal Logic

An Introduction for Programmers


Author: Richard Bornat

Publisher: Oxford University Press on Demand

ISBN: 0198530277

Category: Mathematics

Page: 243

View: 947

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