Proof theory symposion /

Bibliographic Details
Corporate Author: International Summer Institute and Logic Colloquium Kiel
Other Authors: Diller, Justus (ed.), Müller, Gert Heinz, 1923- (ed.)
Format: Conference Proceeding Book
Language:English
Published: Berlin : Springer, 1975.
Series:Lecture notes in mathematics ; v. 500
LNM ; v. 500
Subjects:
Description
Item Description:Dedicated to Schütte Kurt on the occasion of his 65th birthdat.
Physical Description:383 p. ; 26 cm.
ISBN:354007533X
038707533X