|
|
|
|
| LEADER |
00000pam a2200000 a 4500 |
| 001 |
b1056758 |
| 003 |
MWH |
| 005 |
19880927134330.0 |
| 008 |
860814s1987 riua b 00110 eng |
| 010 |
|
|
|a 86022168
|
| 020 |
|
|
|a 0821810413 (alk. paper)
|
| 035 |
|
|
|a 14167511
|
| 040 |
|
|
|a DLC
|c DLC
|d HCD
|
| 049 |
|
|
|a HCDS
|c 1
|
| 090 |
|
|
|a QA248 .T37 1987
|
| 100 |
1 |
0 |
|a Tarski, Alfred.
|
| 245 |
1 |
2 |
|a A formalization of set theory without variables /
|c by Alfred Tarski and Steven Givant.
|
| 260 |
0 |
|
|a Providence, R.I. :
|b American Mathematical Society,
|c c1987.
|
| 300 |
|
|
|a xxi, 318 p. :
|b ill. ;
|c 26 cm.
|
| 490 |
1 |
|
|a Colloquium publications,
|x 0065-9258 ;
|v v. 41
|
| 504 |
|
|
|a Bibliography: p. 273-282.
|
| 500 |
|
|
|a Includes indexes.
|
| 650 |
|
0 |
|a Set theory.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 700 |
1 |
0 |
|a Givant, Steven R.
|
| 830 |
|
0 |
|a Colloquium publications (American Mathematical Society) ;
|v v. 41.
|
| 907 |
|
|
|a .b10567586
|b 10-10-11
|c 10-03-03
|
| 998 |
|
|
|a hq
|b 10-01-03
|c m
|d a
|e -
|f eng
|g riu
|h 2
|i 1
|
| 995 |
|
|
|a MARION AAB-7258
|
| 945 |
|
|
|f - -
|g 1
|h 0
|i 38344000174779
|j - -
|k - -
|l hqcol
|o -
|p $0.00
|q -
|r -
|s -
|t 0
|u 0
|v 0
|w 0
|x 0
|y .i10590468
|z 10-03-03
|
| 999 |
f |
f |
|i b5ca8c22-fc45-5893-b4ee-5bdb25727fba
|s 2900ce3a-6f21-5ee3-9b9a-a0bf82b62a54
|t 0
|
| 952 |
f |
f |
|p Can Circulate
|a College of the Holy Cross
|b Main Campus
|c Science
|d Science Library
|t 0
|e QA248 .T37 1987
|h Other scheme
|i Book
|m 38344000174779
|