MARC details
| 000 -LEADER |
|---|
| fixed length control field |
01346cam a2200397 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
24502310 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20201215151104.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
910912s1991 caua 001 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
91036151 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
0937073741 : |
| Terms of availability |
$34.95 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780937073742 : |
| Terms of availability |
$34.95 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Transcribing agency |
DLC |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
TIZA |
| Local codes |
25148 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
PBC |
| Source |
thema |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
160 |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Barwise, Jon. |
| 9 (RLIN) |
14684 |
| 245 14 - TITLE STATEMENT |
|---|
| Title |
The language of first-order logic : |
| Remainder of title |
including the Macintosh program Tarski's world / |
| Statement of responsibility, etc. |
Jon Barwise and John Etchemendy. |
| 250 ## - EDITION STATEMENT |
|---|
| Edition statement |
2nd ed., rev. and expanded. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| 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. |
c1991. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xiv, 297 p. : |
| Other physical details |
ill. ; |
| Dimensions |
24 cm. + |
| Accompanying material |
1 computer disk (3 1/2 in.) |
| 490 #0 - SERIES STATEMENT |
|---|
| Series statement |
CSLI lecture notes ; |
| Volume/sequential designation |
no. 23 |
| 500 ## - GENERAL NOTE |
|---|
| General note |
System requirements for computer disk (Tarski's world 3.0): Macintosh computer. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Computer disk in pocket. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes indexes. |
| 590 ## - LOCAL NOTE (RLIN) |
|---|
| a |
25.93 |
| 630 00 - SUBJECT ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Tarski's world. |
| 9 (RLIN) |
44307 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
First-order logic. |
| 9 (RLIN) |
3741 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Mathematical foundations |
| Source of heading or term |
thema |
| 9 (RLIN) |
31794 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Etchemendy, John, |
| Dates associated with a name |
1952- |
| 9 (RLIN) |
21713 |
| 730 02 - ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Tarski's world. |
| Date of a work |
1991. |
| 9 (RLIN) |
44308 |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) |
|---|
| a |
150908 |
| 903 ## - LOCAL DATA ELEMENT C, LDC (RLIN) |
|---|
| a |
MARS |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) |
|---|
| a |
.b10077960 |
| b |
cstor |
| c |
- |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Suppress in OPAC |
0 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) |
|---|
| Operator's initials, OID (RLIN) |
2 |
| Cataloger's initials, CIN (RLIN) |
010425 |
| First Date, FD (RLIN) |
m |
| Local |
a |
| -- |
- |
| -- |
4 |