LEADER 01017nam0-22003251i-450-
001 990001317400403321
010   $a0-8218-1041-3
035   $a000131740
035   $aFED01000131740
035   $a(Aleph)000131740FED01
035   $a000131740
100   $a--------d--------km-y0itay50------ba
101 0 $aeng
200 1 $a<<A >>formalization of set theory without variables$fAlfred Tarski, Steven Givant
210   $aProvidence$cAmerican Mathematical Society$d1987
215   $aXXI, 318 p., 26 cm
225 1 $aColloquium Publications$fAmerican Mathematical Society$v41
610 0 $aLogica generale
610 0 $aTeoria classica degli insiemi$aAssiomatica
676   $a511.3
700  1$aTarski,$bAlfred$f<1901-1983>$01978
702  1$aGivant,$bSteven
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001317400403321
952   $a26-F-11(41)$b7894$fMA1
959   $aMA1
962   $a03Bxx
996   $aFormalization of set theory without variables$9382630
997   $aUNINA