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
Bok Engelsk 1975 ISILC Proof Theory Symposium
| Utgitt | Berlin : Springer , 1975
|
|---|---|
| Omfang | 383 s.
|
| Emner | |
| ISBN | 038707533X. - 354007533X
|
