| Record ID | ia:formalizationofs0000tars |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/formalizationofs0000tars/formalizationofs0000tars_marc.xml |
| Download MARC binary | https://www.archive.org/download/formalizationofs0000tars/formalizationofs0000tars_meta.mrc |
LEADER: 01016cam 22003130a 4500
001 0116300230814
008 880412s1987 riu b 11 eng d
010 $a 86022168
020 $a0821810413 (alk. paper)
035 $a(Sirsi) AAB-9639
035 $a11819764.C..
035 0 $aA8752154$fcc
040 $aOPET$beng
046 $aDLC$cDLC
050 00 $aQA248$b.T37 1987
082 0 $a511.3/22$z19
090 0 $aQA 248 .T37 1987$bb
100 1 $aTarski, Alfred.
245 12 $aA formalization of set theory without variables /$cby Alfred Tarski and Steven Givant. --
260 $aProvidence, R.I. :$bAmerican Mathematical Society,$cc1987.
263 $a8711
300 $axxi, 318 p. ;$c26 cm. --
490 10 $aColloquium publications,$x0065-9258 ;$vv. 41
500 $aIncludes indexes.
504 $aBibliography: p. 273-282.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aSet theory.
700 10 $aGivant, Steven R.
830 0 $aColloquium publications (American Mathematical Society) ;$v41.