TY  - BOOK
AU  - Bornat,Richard
TI  - Proof and disproof in formal logic: an introduction for programmers 
SN  - 0198530277 (pbk.)
U1  - 160 
PY  - 2005///
CY  - Oxford
PB  - Oxford University Press
KW  - Evidence
KW  - Logic, Modern
N1  - 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
ER  -