ISILC Proof Theory Symposion dedicated to Kurt SchuÃŒÂ(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. Muller
- Berlin New York Springer-Verlag c1975
- viii, 383 p 25 cm
- Lecture notes in mathematics 500 ISSN 0075-8434 .
- Lecture notes in mathematics (Springer-Verlag) .
Text in English or German Cuprinde bibliografie pe capitole
038707533X (New York) 354007533X (Berlin)
75040482
Schutte, Kurt
Proof theory--Congresses Schutte, Kurt Bibliography