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 /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Diller, Justus (Editor), Müller, G. H. (Gert H.)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1975.
Series:Lecture notes in mathematics (Springer-Verlag) ; 500.
Subjects:
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource.
ISBN:9783540075332
354007533X