000 | 01319cam a2200241 a 4500 | ||
---|---|---|---|
001 | vtls003026988 | ||
003 | MY-SjTCS | ||
005 | 20200306163323.0 | ||
008 | 110218s2005 enka 001 0 eng | ||
020 | _a0198530277 (pbk.) | ||
039 | 9 |
_a201102181305 _bVLOAD _c200609121436 _dpushpa _c200609071603 _dmalathy _y200604191523 _zmalathy |
|
082 | 0 | 4 |
_a160 _bBOR |
100 | 1 |
_aBornat, Richard, _d1944- _9231311 |
|
245 | 1 | 0 |
_aProof and disproof in formal logic : _ban introduction for programmers / _cRichard Bornat. |
260 |
_aOxford : _bOxford University Press, _c2005. |
||
300 |
_axix, 243 p. : _bill. ; _c25 cm. |
||
440 | 0 |
_aOxford texts in logic ; _v2 _9231312 |
|
500 | _aIncludes index. | ||
505 | 0 | _aPart 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. | |
650 | 0 |
_aEvidence. _99049 |
|
650 | 0 |
_aLogic, Modern. _9231313 |
|
920 | _aCIT(RMIT) : 547234 | ||
999 |
_c41167 _d41167 |