01792nam 2200433 450 00001468720050718115500.03-540-07533-X20030702d1975----km-y0itay0103----baengDEISILC proof theory symposiondedicated to Kurt Schutte on the occasion of his 65th birthdayproceedings of the International Summer Institute and logic colloquium, Kiel 1974edited by J. Diller, G. H. MullerBerlin [etc.]Springer1975VIII, 383 p.25 cm.Lecture notes in mathematics500Tit. della cop. e sul dorso: Proof theory symposion Kiel 19742001Lecture notes in mathematicsProof theory symposion Kiel 1974Teoria della dimostrazioneCongressi511.3(21. ed.)Logica matematica (Logica simbolica)03FxxMathematical logic and foundations. Proof theory and constructive mathematicsDiller,J.Muller,Gert H.International summer institute and logic colloquium<1974; Kiel>297938ITUniversità della Basilicata - B.I.A.RICAunimarc000014687ISILC proof theory symposion80640UNIBASMONSCISCIENZEEXT0030120030702BAS011152EXT0030120030702BAS01120420050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT31703S317032003070251Riservati