01730nam0 22003973i 450 VAN025646120230831104628.11N978354038022120230330d1975 |0itac50 baengFREDE|||| |||||ISILC - Logic ConferenceProceedings of the International Summer Institute and Logic Colloquium, Kiel 1974edited by G. H. Müller, A. Oberschelp, K. PotthoffBerlinSpringer1975iv, 651 p.ill.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer49903-XXMathematical logic and foundations [MSC 2020]VANC019750MF00BxxConference proceedings and collections of articles [MSC 2020]VANC021742MFForcingKW:KLogicKW:KMathematical logicKW:KModel theoryKW:KSet TheoryKW:KBerlinVANL000066MüllerGert H.VANV094692OberschelpArnoldVANV209884PotthoffKlausVANV209885Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0079414E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0256461BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5882 08eMF5882 20230407 ⊨ISILC logic conference262723UNICAMPANIA