LEADER 01151nam0-22003611i-450- 001 990001449350403321 005 20031201174837.0 010 $a3-540-64668-X 035 $a000144935 035 $aFED01000144935 035 $a(Aleph)000144935FED01 035 $a000144935 100 $a20001205d1998----km-y0itay50------ba 101 0 $aeng 200 1 $aLogic colloquium '96$eproceedings of the Colloquium held in San Sebastiàn, Spain, july 9-15, 1996$fJ.M. Larrazabal, D. Lascar, G. Mints (Eds.) 210 $aBerlin [etc.]$cSpringer$dc1998 215 $aVI, 261 p.$d24 cm 225 1 $aLecture notes in logic$v12 610 0 $aLogica 610 0 $aRicorsività 676 $a160 702 1$aLarrazabal,$bJesús M. 702 1$aLascar,$bDaniel 702 1$aMints,$bG. 710 12$aLogic colloquium$f<1996 ;$eSan Sebastiàn>$0351361 711 12$aEuropean summer meeting of the Association of symbolic logic$f<1996 ;$eSan Sebastiàn>$0351362 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001449350403321 952 $a7-306$fFI1 959 $aFI1 996 $aLogic colloquium '96$9374279 997 $aUNINA