LC CutterNumber :
.L28,no.
Dewey CutterNumber :
/.8 s 511
Title :
ISILC Proof Theory Symposion
Author Statement :
edited by J. Diller and G. H. Muller
Publication :
Springer-Verlag
Collation :
viii, 383 p. ; 25 cm
Series :
Lecture notes in mathematics ; 500
Notes :
Text in English or German
Subject :
Proof theory -- Congresses,Schutte, K. -- (Kurt) -- Bibliography
ADDED ENTRIES :
Schutte, K. (Kurt),Diller, Justus,Muller, G. H. (Gert Heinz), 1923-,International Summer Institute and Logic Colloquium, University of Kiel, 1974
Holding Info. :
038707533
SubTitle :
:dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Biblography :
Includes bibliographies.
