01878nam0 22004333i 450 VAN0029003420250616015855.886N978146122822620250326d1992 |0itac50 baengUS|||| |||||i e bcrLogic from Computer ScienceProceedings of a Workshop held November 13–17, 1989Yiannis N. Moschovakis editorNew York [etc.]Springer-Verlag1992xi, 608 p.24 cm001VAN000567862001 Mathematical sciences research institute publications210 New YorkSpringer1984-300 Dal volume 28 la collana è edita dalla Cambridge university2100B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF68-XXComputer science [MSC 2020]VANC019670MFComplexityKW:KForcingKW:KGrammarsKW:KLogicKW:KProofsKW:KSemanticsKW:KUSNew YorkVANL000011MoschovakisYannis N.VANV046759340Springer <editore>VANV108073650ITSOL20250620RICAhttps://doi.org/10.1007/978-1-4612-2822-6E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00290034BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 11213 08eMF11213 20250528 Logic from computer science82112UNICAMPANIA