1 option
ISILC Proof Theory Symposium : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G. H. Müller.
Math/Physics/Astronomy Library QA3 .L28 no. 500
Available
- Format:
- Book
- Conference/Event
- Conference Name:
- ISILC Proof Theory Symposium, University of Kiel, 1974.
- International Summer Institute and Logic Colloquium (1974 : Kiel, Germany)
- Series:
- Lecture notes in mathematics (Springer-Verlag) ; 500.
- Lecture notes in mathematics ; 500
- Language:
- English
- German
- Subjects (All):
- Schütte, K. (Kurt)--Bibliography.
- Schütte, K.
- Schütte, K. (Kurt).
- Proof theory--Congresses.
- Proof theory.
- Genre:
- Bibliographies.
- Conference papers and proceedings.
- Festschriften.
- Physical Description:
- 383 pages ; 24 cm.
- Place of Publication:
- Berlin ; New York : Springer-Verlag, 1975.
- Notes:
- Text in English or German.
- ISBN:
- 038707533X
- OCLC:
- 1959564
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.