Proof and Disproof in Formal Logic
Author
Richard Bornat (School Of Computing Science, Middlesex University)
Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is a lively and entertaining introduction to formal logic and provides an excellent insight into how a simple logic works.