Isilc - Proof Theory Symposion
Subtitle: Dedicated to Kurt Sch]tte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and (Lecture Notes in Mathematics; 500)
Publisher: Springer
Published: March 1976
Language: eng
Number of pages: 383
ISBN-13: 9780387075334