01681nam0 22003613i 450 VAN0025646220240806101447.767N978354038020720230330d1975 |0itac50 baengGERDE|||| |||||ISILC - Proof Theory SymposionDedicated to Kurt Schütte on the Occasion of His 65. BirthdayProceedings of the International Summer Institute and Logic Colloquium, Kiel 1974edited by J. Diller and G. H. MüllerBerlinSpringer1975viii, 383 p.ill.24 cm001VAN001022502001 Lecture notes in mathematics210 Berlin [etc.]Springer50000BxxConference proceedings and collections of articles [MSC 2020]VANC021742MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFProof TheoryKW:KProofsKW:KType theoryKW:KBerlinVANL000066DillerJustusVANV209887MüllerGert H.VANV094692Springer <editore>VANV108073650ITSOL20241115RICAhttps://doi.org/10.1007/BFb0079542E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00256462BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 5883 08eMF5883 20230411 ⊨ISILC proof theory symposion262724UNICAMPANIA