LEADER 01353nam0 2200313 i 450 
001 VAN00054649
005 20240806100507.716
010   $a978-15-688-1132-1
100   $a20061023d1993       |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aLogic 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$1001VAN00065132$12001 $aLecture notes in logic$1210  $aChicago$cAssociation for symbolic logic
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
620   $dNatick$3VANL000427
702  1$aOikkonen$bJuha Markku Robert$3VANV043306
702  1$aVäänänen$bJouko Antero$3VANV043307
710 12$aAssociation for symbolic logic$3VANV043305$0726063
712   $aAssociation for symbolic logic$3VANV111337$4650
712   $aPeters$3VANV109174$4650
801   $aIT$bSOL$c20240906$gRICA
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN00054649
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   2495        $e08   6774      I       20061023            
996   $aLogic colloquium '90$91424986
997   $aUNICAMPANIA