ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and logic colloquium, Kiel 1974 / edited by J. Diller, G. H. Muller

• Record Nr.: UNIBAS000014687
• Autore: International summer institute and logic colloquium : <1974
• Pubbl/distr/stampa: Berlin [etc.] : Springer, 1975
• ISBN: 3-540-07533-X
• Descrizione fisica: VIII, 383 p. ; 25 cm.
• Collana: Lecture notes in mathematics ; 500
• Disciplina: 511.3
• Soggetti: Teoria della dimostrazione - Congressi
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia