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