The language of first-order logic including the Macintosh program Tarski's world 3.0 / (Record no. 16964)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00944nam a2200265 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20211019215458.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 211019b |||||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0937073741 |
| 050 ## - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | BC128 |
| Item number | B28 1991 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| 9 (RLIN) | 12693 |
| Personal name | Barwise, Jon |
| 245 ## - TITLE STATEMENT | |
| Title | The language of first-order logic including the Macintosh program Tarski's world 3.0 / |
| Statement of responsibility, etc. | Jon Barwise, John Etchemendy. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2nd ed., rev. and expanded |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Menlo Park, Calif. : |
| Name of publisher, distributor, etc. | Center for the Study of Language and Information, |
| Date of publication, distribution, etc. | c1991. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xiv, 297p. |
| Other physical details | illustrations ; |
| Dimensions | 23 cm. |
| 336 ## - CONTENT TYPE | |
| Source | rdacontent |
| Content type term | text |
| 337 ## - MEDIA TYPE | |
| Source | rdamedia |
| Media type term | unmediated |
| 338 ## - CARRIER TYPE | |
| Source | rdacarrier |
| Carrier type term | volume |
| 490 ## - SERIES STATEMENT | |
| Series statement | CSLI lecture notes ; no. 23 |
| 541 ## - IMMEDIATE SOURCE OF ACQUISITION NOTE | |
| Method of acquisition | Donated by Ohio State University |
| Accession number | 26176 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| 9 (RLIN) | 12694 |
| Topical term or geographic name entry element | First-order logic |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| 9 (RLIN) | 12695 |
| Topical term or geographic name entry element | Tarski's world (Computer program) |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| 9 (RLIN) | 12696 |
| Personal name | Etchemendy, John |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Library of Congress Classification |
| Koha item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Coded location qualifier | Total Renewals | Full call number | Barcode | Date last seen | Price effective from | Koha item type | Public note |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Library of Congress Classification | Non-fiction | Ladislao N. Diwa Memorial Library | Ladislao N. Diwa Memorial Library | Reserve Section | 01/20/2006 | Donated by Ohio State University | RUS | 1991 | RUS BC128 B28 1991 | 00012925 | 09/03/2020 | 09/03/2020 | Books | 26176 |