The language of first-order logic : (Record no. 9978)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 01002cam a2200313ia 4500 |
001 - CONTROL NUMBER | |
control field | 27677189 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | OCoLC |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20170402121833.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 930203s1993 cau 001 0 eng |
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
LC control number | 93000419 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 0937073997 (pbk.) : |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | DLC |
Transcribing agency | DLC |
Modifying agency | CIN |
050 00 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | BC128 |
Item number | .B37 1993 |
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 160 |
Edition number | 20 |
100 1# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Barwise, Jon |
245 14 - TITLE STATEMENT | |
Title | The language of first-order logic : |
Remainder of title | including the Mackintosh program Tarski's world 4.0 / |
Statement of responsibility, etc | Jon Barwise & John Etchemendy |
250 ## - EDITION STATEMENT | |
Edition statement | 3rd ed., rev. and expanded |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc | Stanford, CA : |
Name of publisher, distributor, etc | Center for the Study of Language and Information, |
Date of publication, distribution, etc | c1993 |
263 ## - PROJECTED PUBLICATION DATE | |
Projected publication date | 9309 |
300 ## - PHYSICAL DESCRIPTION | |
Extent | xiv, 313 p. ; |
Dimensions | 24 cm. + |
Accompanying material | 1 computer disk (3 1/2 in.) |
490 1# - SERIES STATEMENT | |
Series statement | CSLI lecture notes ; |
Volume number/sequential designation | no. 23 |
630 00 - SUBJECT ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Tarski's world |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name as entry element | First-order logic |
700 10 - ADDED ENTRY--PERSONAL NAME | |
Personal name | Etchemendy, John, |
Dates associated with a name | 1952- |
730 02 - ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Tarski's world. |
Date of a work | 1993 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | CSLI lecture notes ; |
Volume number/sequential designation | no. 23 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Dewey Decimal Classification |
Item type | Books |
Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Dewey Decimal Classification | Centeral Library | Centeral Library | First Floor - Mass communication | 16.11.2016 | 160 B.J.L 1993 | 10056 | 16.11.2016 | 16.11.2016 | Books |