01870nam0 22004213i 450 VAN0025643420240806101447.681N978354037949220230330d1975 |0itac50 baengDE|||| |||||Infinitary LogicIn Memoriam Carol KarpA Collection of Papers by Various AuthorsEdited by D. W. KuekerBerlinSpringer1975206 p.24 cm001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer49200BxxConference proceedings and collections of articles [MSC 2020]VANC021742MF01A70Biographies, obituaries, personalia, bibliographies [MSC 2020]VANC019752MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03C30Other model constructions [MSC 2020]VANC037543MF03C75Other infinitary logic [MSC 2020]VANC035689MF03CxxModel theory [MSC 2020]VANC024387MFFiniteKW:KInfinite LogicKW:KLanguageKW:KLogicKW:KTechniquesKW:KBerlinVANL000066KuekerDavid W.VANV041981Springer <editore>VANV108073650ITSOL20240906RICAhttps://doi.org/10.1007/BFb0081118E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00256434BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5878 08eMF5878 20230407 Infinitary logic80324UNICAMPANIA