LEADER 01287nam0 2200301 i 450 
001 SUN0054649
005 20160119020320.146
010   $a978-15-688-1132-1$d0.00
100   $a20061023d1993       |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $a*Logic colloquium '90$eASL summer meeting in Helsinki$fJ. Oikkonen, J. Vaananen (eds.)
210   $aNatick$cAssociation for Symbolic Logic ; A K Peters $d1993
215   $aVIII, 305 p.$d25 cm.
410  1$1001SUN0065132$12001 $aLecture notes in logic$1210  $aChicago$cAssociation for symbolic logic.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
620   $dNatick$3SUNL000427
702  1$aOikkonen$b, Juha Markku Robert$3SUNV043306
702  1$aVäänänen$b, Jouko Antero$3SUNV043307
710 12$aAssociation for symbolic logic$3SUNV043305$0726063
712   $aPeters$3SUNV001746$4650
712   $aAssociation for symbolic logic$3SUNV005253$4650
801   $aIT$bSOL$c20200720$gRICA
912   $aSUN0054649
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   2495        $e08   6774      I       20061023            
996   $aLogic colloquium '90$91424986
997   $aUNICAMPANIA