An edition of ISILC Proof Theory Symposion (1975)
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
By ISILC Proof Theory Symposion University of Kiel 1974.
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1975
Publisher
Springer-Verlag
Language
eng
Pages
383
Description:
subjects: Bibliography, Congresses, Proof theory, Bibliographie, Preuve, Théorie de la, Congrès, Beweistheorie, Bibliografie, Logik, Mathematische Logik, Kongress
People: K. Schütte