LEADER 01679nam0 22003733i 450 001 VAN00263548 005 20250918092743.844 017 70$2N$a9783540394143 100 $a20230921d1985 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aMethods in Mathematical Logic$eProceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983$fedited by Carlos Augusto Prisco 210 $aBerlin$cSpringer$d1985 215 $ax, 410 p.$d24 cm 461 1$1001VAN00102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v1130 606 $a00B25$xProceedings of conferences of miscellaneous specific interest [MSC 2020]$3VANC020732$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 610 $aLogic$9KW:K 610 $aMathematical logic$9KW:K 610 $aModel theory$9KW:K 610 $aProofs$9KW:K 610 $aUltraproducts$9KW:K 620 $dBerlin$3VANL000066 702 1$aDi Prisco$bCarlos Augusto$3VANV217899$4340 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250919$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0075303$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00263548 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 6707 $e08eMF6707 20230929 996 $aMethods in mathematical logic$9262613 997 $aUNICAMPANIA