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
- Författare
- International Summer Institute and Logic Colloquium (1974 : Kiel)
- (Edited by J. Diller and G.H. Müller.)
- Genre
- Konferenspublikation
- Språk
- Engelska


Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer | 1975 | Tyskland, Berlin | 383 sidor. | |
Springer Berlin Heidelberg | 1975 | Utgivningsland okänt / Ej specificerat |