LEADER 01301nam a2200373 i 4500
001 991000902259707536
005 20020507175532.0
008 931203s1987    us            ||| | eng  
020   $a0821810413
035   $ab10773368-39ule_inst
035   $aLE01304067$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.322
084   $aAMS 03B
084   $aAMS 03B30
084   $aAMS 03C05
084   $aAMS 03E30
084   $aAMS 03G15
084   $aQA248.T37
100 1 $aTarski, Alfred$01978
245 12$aA formalization of set theory without variables /$cAlfred Tarski, Steven Givant
260   $aProvidence, R. I. :$bAmerican Mathematical Society,$c1987
300   $axxi, 318 p. ;$c26 cm
490 0 $aColloquium publications, $x0065-9258 ;$v41
650  4$aMathematical logic
650  4$aSet theory
650  4$aSymbolic logic
700 1 $aGivant, Steven R.$eauthor$4http://id.loc.gov/vocabulary/relators/aut$059680
907   $a.b10773368$b23-02-17$c28-06-02
912   $a991000902259707536
945   $aLE013 03B TAR11 (1987)$g1$i2013000072531$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10871974$z28-06-02
996   $aFormalization of set theory without variables$91455580
997   $aUNISALENTO
998   $ale013$b01-01-93$cm$da  $e-$feng$gus $h2$i1