|
|
|
|
| LEADER |
01154nam a2200373 4500 |
| 001 |
DLU030024837 |
| 005 |
##20000321141107.0 |
| 008 |
##930203s1993 cau 001 0 eng |
| 010 |
# |
# |
|a 93000419
|
| 020 |
# |
# |
|a 0937073997 (pbk.) :
|3 4.95
|
| 035 |
# |
# |
|9 (DLC) 93000419
|
| 040 |
# |
# |
|a DLC
|c DLC
|d DLC
|
| 050 |
# |
# |
|a BC128
|b .B37 1993
|
| 082 |
# |
# |
|a 160
|b BA-J
|
| 100 |
# |
# |
|a Barwise, Jon.
|
| 245 |
# |
# |
|a The language of first-order logic :
|b including the Mackintosh version of Tarski's world 4.0 /
|c Jon Barwise & John Etchemendy.
|
| 250 |
# |
# |
|a 3rd ed., rev. & expanded.
|
| 260 |
# |
# |
|a Stanford, Calif. :
|b Center for the Study of Language and Information,
|c c1993.
|
| 300 |
# |
# |
|a xiv, 313 p. ;
|b 24 cm.
|c 1 computer disk.
|
| 440 |
# |
# |
|a CSLI lecture notes ;
|v no. 23
|
| 500 |
# |
# |
|a Includes indexes.
|
| 630 |
# |
# |
|a Tarski's world.
|
| 650 |
# |
# |
|a First-order logic.
|
| 700 |
# |
# |
|a Etchemendy, John,
|d 1952-
|
| 730 |
# |
# |
|a Tarski's world.
|f 1993.
|
| 992 |
# |
# |
|a 9810
|
| 994 |
# |
# |
|a DLU
|
| 900 |
# |
# |
|a True
|
| 911 |
# |
# |
|a Lê Thị Mạnh Xuân
|
| 925 |
# |
# |
|a G
|
| 926 |
# |
# |
|a A
|
| 927 |
# |
# |
|a SH
|
| 980 |
# |
# |
|a Thư viện Trường Đại học Đà Lạt
|
