Proof and disproof in formal logic : an introduction for programmers / Richard Bornat.
By: Bornat, Richard
.
Series: Oxford texts in logic ; 2. Publisher: Oxford : Oxford University Press, 2005Description: xix, 243 p. : ill. ; 25 cm.ISBN: 0198530277 (pbk.).Subject(s): Evidence![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current location | Call number | Copy number | Status | Notes | Date due | Barcode | Remark |
---|---|---|---|---|---|---|---|---|
Main Collection | TU External Storage-LCS | 160 BOR (Browse shelf) | 1 | Available | SOCIT,15009,03,GR | 1001004712 | Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 |
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.