ISILC proof theory symposion :

ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and logic Colloquium, Kiel 1974

Saved in:
Bibliographic Details
Corporate Authors: ISILC Proof Symposion Kiel, International Summer Institute and Logic Colloquium
Other Authors: Diller, Justus (Editor), Müller, G. H. (Gert Heinz), 1923-2006 (Editor)
Format: Conference Proceeding Book
Language:English
German
Published: Berlin : Springer-Verlag, 1975.
Series:Lecture notes in mathematics (Springer-Verlag) 500
Subjects:
Schutte, K. > (Kurt) > Bibliography.
Proof theory > Congresses.
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items