Proof and disproof in formal logic : an introduction for programmers /
Richard Bornat.
- Oxford : Oxford University Press, 2005.
- xix, 243 p. : ill. ; 25 cm.
- Oxford texts in logic ; 2 .
Includes index.
Part I: Basics : 1. A rough history of logic - 2. How to speak and read logic -- Part II: Formal proof: 3. Connectives - 4. Rule shapes and formula shapes - 5. Proof with connectives - 6. The logical quantifiers - 7. Proofs with quantifiers -- Part III: Disproof: 8. Disproof in a mathematical model - 9. Constructive semantics - 10. Classical semantics - 11. Disproof calculation -- Part IV: Proof of programs: 12. Specification and verification - 13. A simple programming language - 14. Loops - 15. Arrays.