Cover Image

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 /

Show other versions (1)
Bibliographic Details
Corporate Authors: ISILC Proof Theory Symposion University of Kiel, International Summer Institute and Logic Colloquium
Other Authors: Schütte, K. (Kurt), Diller, Justus, Müller, G. H. (Gert Heinz), 1923-
Format: Conference Proceeding Book
Language:English
German
Published: Berlin ; New York : Springer-Verlag, 1975.
Series:Lecture notes in mathematics (Springer-Verlag) ; 500.
Subjects:
Schütte, K. > (Kurt) > Bibliography.
Proof theory > Congresses.
Description
Item Description:Text in English or German.
Physical Description:viii, 383 pages ; 25 cm.
Bibliography:Includes bibliographies.
ISBN:038707533X