01747nam0 22004213i 450 VAN0025470120240806101441.344N978354035900520230215d1968 |0itac50 baengDE|||| |||||ˆThe ‰Syntax and Semantics of Infinitary Languagesedited by Jon BarwiseBerlinSpringer1968vi, 270 p.24 cm001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer7200B15Collections of articles of miscellaneous specific interest [MSC 2020]VANC023985MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF68-XXComputer science [MSC 2020]VANC019670MFCompactness theoremKW:KComputability theoryKW:KLanguagesKW:KLogicKW:KMathematical logicKW:KModel theoryKW:KProofsKW:KSyntaxKW:KBerlinVANL000066BarwiseJonVANV038865Springer <editore>VANV108073650ITSOL20250509RICAhttps://doi.org/10.1007/BFb0079679E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00254701BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 5402 08eMF5402 20230301 Syntax and semantics of infinitary languages83175UNICAMPANIA