Research Catalog
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.
- Title
- 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.
- Author
- ISILC Proof Theory Symposium (1974 : University of Kiel)
- Publication
- Berlin ; New York : Springer-Verlag, 1975.
Items in the Library & Off-site
Filter by
1 Item
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| no. 500-501:&no. 1-500: Index | Text | Request in advance | JSM 95-200 no. 500-501:&no. 1-500: Index | Offsite |
Details
- Additional Authors
- Description
- viii, 383 p.; 25 cm.
- Series Statement
- Lecture notes in mathematics ; \500
- Uniform Title
- University of Arkansas lecture notes in mathematics ; \500.
- Subjects
- Bibliography (note)
- Includes bibliographies.
- Language (note)
- Text in English or German.
- Call Number
- JSM 95-200 no. 500
- ISBN
- 038707533X
- LCCN
- 75040482
- OCLC
- NYPG764302142-B
- Conference
- ISILC Proof Theory Symposium (1974 : University of Kiel)
- Title
- 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.
- Imprint
- Berlin ; New York : Springer-Verlag, 1975.
- Series
- Lecture notes in mathematics ; \500University of Arkansas lecture notes in mathematics ; \500.
- Bibliography
- Includes bibliographies.
- Language
- Text in English or German.
- Added Author
- Schütte, K. (Kurt)Diller, Justus.Müller, G. H. (Gert Heinz), 1923-International Summer Institute and Logic Colloquium (1974 : University of Kiel)
- Research Call Number
- JSM 95-200 no. 500