LEADER 01484nam2-2200385li-450 001 990000216350203316 005 20180312154740.0 010 $a3-540-15236-9 035 $a0021635 035 $aUSA010021635 035 $a(ALEPH)000021635USA01 035 $a0021635 100 $a20001109d1985----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aMethods in mathematical logic$eproceedings of the 6th Latin American Symposium, on Mathematical Logic, held in Caracas, Venezuela, August 1-6, 1983$fedited by C. A. Di Prisco 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1985 215 $aVII, 407 p.$cgraf.$d24 cm 225 2 $aLecture notes in mathematics$v1130 410 0$10010021263$12001$aLecture notes in mathematics$ea collection of informal reports and seminars$fedited by A. Dold, Heidelberg and B. Eckmann, Zürich 610 1 $alogica matematica 676 $a5113$9Logica simbolica (Logica matematica) 702 1$aDi Prisco,$bCarlos Augusto 710 02$aLatin American on symposium on mathematical logic$c6. Caracas, 1983$0752855 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000216350203316 951 $a510 LNM (1130)$b0011961 959 $aBK 969 $aSCI 979 $c19900606 979 $c20001110$lUSA01$h1714 979 $c20020403$lUSA01$h1629 979 $aPATRY$b90$c20040406$lUSA01$h1616 996 $aMethods in mathematical logic$91514252 997 $aUNISA