LEADER 01553nam2-2200397li-450 001 990000116960203316 005 20180312154857.0 010 $a3-540-15236-9 035 $a0011696 035 $aUSA010011696 035 $a(ALEPH)000011696USA01 035 $a0011696 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$10010011630$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 $a990000116960203316 951 $a510 LNM (1130)$b0011961 CBS$c510$d00110232 959 $aBK 969 $aSCI 979 $c19900606 979 $c20001110$lUSA01$h1711 979 $aALANDI$b90$c20011127$lUSA01$h1000 979 $c20020403$lUSA01$h1619 979 $aPATRY$b90$c20040406$lUSA01$h1609 996 $aMethods in mathematical logic$91514252 997 $aUNISA