Proof and disproof in formal logic : (Record no. 37893)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01498cam a22003494a 4500 |
| 001 - CONTROL NUMBER | |
| control field | 14028637 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200505172657.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 050707s2005 enka 001 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| LC control number | 2005019564 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0198530277 (alk. paper) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0198530269 (alk. paper) |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | DLC |
| Transcribing agency | DLC |
| Modifying agency | DLC |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | pcc |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | BC173 |
| Item number | .B67 2005 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 160 |
| Edition number | 22 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Bornat, Richard, |
| 9 (RLIN) | 198144 |
| 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 ; |
| -- | New York |
| 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) | 365931 |
| 500 ## - GENERAL NOTE | |
| General note | Includes index. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Basics -- Formal proof -- Disproof -- Proof of programs. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Evidence. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logic, Modern. |
| 856 41 - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Table of contents only |
| Uniform Resource Identifier | <a href="http://www.loc.gov/catdir/toc/ecip0516/2005019564.html">http://www.loc.gov/catdir/toc/ecip0516/2005019564.html</a> |
| 856 42 - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Publisher description |
| Uniform Resource Identifier | <a href="http://www.loc.gov/catdir/enhancements/fy0637/2005019564-d.html">http://www.loc.gov/catdir/enhancements/fy0637/2005019564-d.html</a> |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) | |
| a | 7 |
| b | cbc |
| c | orignew |
| d | 1 |
| e | ecip |
| f | 20 |
| g | y-gencatlg |
| 919 ## - | |
| -- | 411423 |
| 925 0# - | |
| -- | acquire |
| -- | 1 shelf copy |
| -- | policy default |
| 925 1# - | |
| -- | acquire |
| -- | 2 shelf copies |
| -- | policy default |
| 955 ## - COPY-LEVEL INFORMATION (RLIN) | |
| -- | sh13 2005-07-28 |
| -- | sh13 2005-07-28 to Dewey |
| -- | sh21 2006-01-19 |
| -- | sh21 2006-01-19 to BCCD; |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Ahmedabad | Ahmedabad | 05/05/2020 | 160.22 | 160282 | 05/05/2020 | 05/05/2020 | Book |