01678nam0 22003613i 450 VAN025646220230831104737.596N978354038020720230330d1975 |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 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer50003-XXMathematical logic and foundations [MSC 2020]VANC019750MF00BxxConference proceedings and collections of articles [MSC 2020]VANC021742MFProof TheoryKW:KProofsKW:KType theoryKW:KBerlinVANL000066DillerJustusVANV209887MüllerGert H.VANV094692Springer <editore>VANV108073650ITSOL20240614RICAhttps://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-CE0120VAN08NVAN0256462BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5883 08eMF5883 20230411 ⊨ISILC proof theory symposion262724UNICAMPANIA