01693nam0 22003853i 450 VAN0025466220240806101441.190N978354035886220230215d1968 |0itac50 baengDE|||| |||||Proceedings of the Summer School in Logic, Leeds, 1967N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logicedited by M. H. LöbBerlinSpringer1968iv, 331 p.ill.24 cm001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer7000B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFArithmeticKW:KCalculusKW:KFunctionsKW:KLogicKW:KProof TheoryKW:KProofsKW:KBerlinVANL000066LöbMartin H.VANV207676Springer <editore>VANV108073650ITSOL20250606RICAhttps://doi.org/10.1007/BFb0079093E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00254662BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 5393 08eMF5393 20230301 Proceedings of the Summer School in Logic, Leeds, 196783182UNICAMPANIA