01470nam0 22003493i 450 VAN026354820230921112610.571N978354039414320230921d1985 |0itac50 baengDE|||| |||||Methods in Mathematical LogicProceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983edited by Carlos Augusto PriscoBerlinSpringer1985x, 410 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer1130LogicKW:KMathematical logicKW:KModel theoryKW:KProofsKW:KUltraproductKW:KBerlinVANL000066PriscoCarlos AugustoVANV217899Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0075303E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0263548BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 6707 08eMF6707 20230929 Methods in mathematical logic262613UNICAMPANIA