| 000 -LEADER |
|---|
| fixed length control field |
01319cam a2200241 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
vtls003026988 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
MY-SjTCS |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20200306163323.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
110218s2005 enka 001 0 eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0198530277 (pbk.) |
| 039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE] |
|---|
| Level of rules in bibliographic description |
201102181305 |
| Level of effort used to assign nonsubject heading access points |
VLOAD |
| Level of effort used to assign subject headings |
200609121436 |
| Level of effort used to assign classification |
pushpa |
| Level of effort used to assign subject headings |
200609071603 |
| Level of effort used to assign classification |
malathy |
| -- |
200604191523 |
| -- |
malathy |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
160 |
| Item number |
BOR |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bornat, Richard, |
| Dates associated with a name |
1944- |
| 9 (RLIN) |
231311 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Proof and disproof in formal logic : |
| Remainder of title |
an introduction for programmers / |
| Statement of responsibility, etc. |
Richard Bornat. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Oxford : |
| Name of publisher, distributor, etc. |
Oxford University Press, |
| Date of publication, distribution, etc. |
2005. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xix, 243 p. : |
| Other physical details |
ill. ; |
| Dimensions |
25 cm. |
| 440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE |
|---|
| Title |
Oxford texts in logic ; |
| Volume/sequential designation |
2 |
| 9 (RLIN) |
231312 |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes index. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Evidence. |
| 9 (RLIN) |
9049 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Logic, Modern. |
| 9 (RLIN) |
231313 |
| 920 ## - Programme |
|---|
| Programme |
CIT(RMIT) : 547234 |
| 999 ## - SYSTEM CONTROL NUMBERS (KOHA) |
|---|
| Koha biblionumber |
41167 |
| Koha biblioitemnumber |
41167 |
