Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into …