ISILC proof theory symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G.H. Müller ... [et al.]

• Record Nr.: UNINA990000984430403321
• Autore: ISILC proof theory symposion : <1974
• Pubbl/distr/stampa: Berlin ; New York : Springer-Verlag, 1975
• ISBN: 3-540-07533-X
• Descrizione fisica: VI, 383 p. ; 24 cm
• Collana: Lecture notes in mathematics ; 500
• Disciplina: 160
• Locazione: FI1
• Collocazione: 7-218
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia