Proof and Disproof in Formal Logic

Explore the foundations of formal logic with Proof and Disproof in Formal Logic by Richard Bornat, published by Oxford University Press in 2005. This comprehensive paperback spans 264 pages and is designed for both undergraduate and graduate students in computer science, logic, mathematics, and philosophy.

This insightful book delves into the workings of simple logic, emphasizing its practical applications as a powerful tool. Divided into four informative sections, it guides readers through essential concepts and techniques while providing exercises based on the innovative computer software package, Jape. Whether you are looking to enhance your understanding of logical principles or apply them in various fields, this text serves as a valuable resource for your academic journey.

Don't miss the opportunity to deepen your knowledge of formal logic with this essential guide!