LEADER 01431nam a2200397 i 4500 001 991001263319707536 005 20020507190230.0 008 930920s1974 us ||| | eng 020 $a0811814257 035 $ab10823232-39ule_inst 035 $aLE01309543$9ExL 040 $aDip.to Matematica$beng 082 0 $a511.3 084 $aAMS 03-06 084 $aAMS 03-XX 084 $aLC QA7.T34 245 00$aProceedings of the Tarski symposium :$ban intern. symp. held to honor A. Tarski on occasion of his 70th birthday, Berkeley, June 23-30, 1971 /$ceds. L. Henkin.. 250 $a2nd print. with add., 1979 260 $aProvidence, R. I. :$bAmerican Mathematical Society,$c1974 300 $axx, 491 p. ;$c25 cm 490 0 $aProceedings of symposia in pure mathematics,$x0082-0717 ;$v25 500 $aConference/meeting Berkeley 1971 650 0$aMathematical logic 700 1 $aAddison, J. 700 1 $aChang, Cheng Chung 700 1 $aCraig, William 700 1 $aHenkin, Leon 700 1 $aScott, Dana S. 700 1 $aTarski, Alfred 700 1 $aVaught, R. 907 $a.b10823232$b23-02-17$c28-06-02 912 $a991001263319707536 945 $aLE013 03-XX HEN11 (1974)$g1$i2013000074924$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i1093070x$z28-06-02 996 $aProceedings of the Tarski symposium$9924124 997 $aUNISALENTO 998 $ale013$b01-01-93$cm$da $e-$feng$gus $h0$i1