|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
b1779600 |
| 005 |
20240627095604.0 |
| 008 |
921008t19921992cau 001 0 eng |
| 010 |
|
|
|a 92038427
|
| 020 |
|
|
|a 0937073903 (pbk.)
|
| 035 |
|
|
|a (OCoLC)26930867
|
| 040 |
|
|
|a DLC
|c DLC
|d UtOrBLW
|
| 049 |
|
|
|a STAM
|
| 050 |
0 |
0 |
|a BC128
|b .B37 1992
|
| 100 |
1 |
|
|a Barwise, Jon.
|0 http://id.loc.gov/authorities/names/n79109887
|
| 245 |
1 |
4 |
|a The language of first-order logic :
|b including the IBM-compatible Windows version of Tarski's world 4.0 /
|c Jon Barwise & John Etchemendy.
|
| 246 |
3 |
|
|a Language of first-order logic
|
| 250 |
|
|
|a Third edition, revised & expanded.
|
| 264 |
|
1 |
|a Stanford, CA :
|b Center for the Study of Language and Information,
|c [1992]
|
| 264 |
|
4 |
|c ©1992
|
| 300 |
|
|
|a xiv, 319 pages ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
| 490 |
1 |
|
|a CSLI lecture notes ;
|v no. 34
|
| 500 |
|
|
|a System requirements for computer disk (Tarski's world 4.0): IBM PC; Microsoft Windows.
|
| 500 |
|
|
|a Includes indexes.
|
| 630 |
0 |
0 |
|a Tarski's world.
|0 http://id.loc.gov/authorities/names/n90681618
|
| 630 |
0 |
7 |
|a Tarski's world.
|2 fast
|0 (OCoLC)fst01376906
|
| 650 |
|
0 |
|a First-order logic.
|0 http://id.loc.gov/authorities/subjects/sh85048595
|
| 650 |
|
7 |
|a First-order logic.
|2 fast
|0 (OCoLC)fst00925803
|
| 700 |
1 |
|
|a Etchemendy, John,
|d 1952-
|0 http://id.loc.gov/authorities/names/n86145614
|
| 730 |
0 |
2 |
|a Tarski's world.
|f 1992.
|
| 830 |
|
0 |
|a CSLI lecture notes ;
|v no. 34.
|0 http://id.loc.gov/authorities/names/n84711499
|
| 907 |
|
|
|a .b17796003
|b 240710
|c 040325
|
| 918 |
|
|
|a .bckstg
|b 2016-12-01
|
| 998 |
|
|
|a umn
|b 040608
|c m
|d a
|e -
|f eng
|g cau
|h 4
|
| 999 |
f |
f |
|i 6cac3335-8d89-5c1d-8a42-1523bed90ba1
|s 591968bf-adfd-5008-b5e0-8c5bcc9964de
|t 0
|
| 952 |
f |
f |
|p Circulating
|a Santa Clara University
|b Santa Clara Main Campus
|c University Library
|d University Library Main Stacks, Lower Level
|t 0
|e BC128 .B37 1992
|h Library of Congress classification
|i book
|m 35098105887379
|n c.1
|