02287nam0 22004693i 450 VAN0028691620250417022651.453N978354047135620250213d1990 |0itac50 baengDE|||| |||||i e bcrLogic and Computer ScienceLectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988S. Homer ... [et al.]Editor: P. OdifreddiBerlinSpringer-Verlag1990153 p.24 cm001VAN000508342001 Lecture notes in mathematics. Fondazione CIME. Firenze210 BerlinSpringer300 Dal 2011: C.I.M.E. Foundation Subseries001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer142900B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF68-XXComputer science [MSC 2020]VANC019670MFComputer ScienceKW:KLogicKW:KProgrammingKW:KProofsKW:KBerlinVANL000066OdifreddiPiergiorgioVANV004602340HomerStevenVANV045376Centro internazionale matematico estivoVANV021913284620Springer <editore>VANV108073650C.I.M.E.Centro internazionale matematico estivoVANV021914CIME <Centro internazionale matematico estivo>Centro internazionale matematico estivoVANV021915ITSOL20250418RICAhttps://doi.org/10.1007/BFb0093921E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00286916BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 10680 08eMF10680 20250228 Logic and Computer Science4312059UNICAMPANIA