01938nam2 22004813i 450 VAN0029715020251008113331.103N978370919461420250725d1996 |0itac50 baengAT|||| |||||i e bcrVolume 2Kurt-Gödel-GesellschaftWienNew YorkSpringer1996137 p.ill.24 cm001VAN002954922001 Collegium LogicumAnnals of the Kurt-Godel-SocietyKurt-Gödel-Gesellschaft210 WienSpringer1995-1996215 2 volumiill.24 cm200B15Collections of articles of miscellaneous specific interest [MSC 2020]VANC023985MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFAlgorithm AnalysisKW:KComplexityKW:KComplexity theoryKW:KLogicKW:KMathematical logicKW:KProblem complexityKW:KProofsKW:KResolutionKW:KTuring machineKW:KUSNew YorkVANL000011WienVANL000107Kurt-Gödel SocietyVANV2514861828489Springer <editore>VANV108073650Kurt-Gödel-GesellschaftKurt-Gödel SocietyVANV251487ITSOL20251010RICAhttps://doi.org/10.1007/978-3-7091-9461-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00297150BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-Book 12273 08eMF12273 20250924 Volume 24410969UNICAMPANIA