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

Author(s)

• ISILC Proof Theory Symposium
• Schütte, K. (Kurt)
• Diller, Justus
• Müller, G. H. (Gert Heinz)
• International Summer Institute and Logic Colloquium

Bibliographic Information

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

edited by J. Diller and G.H. Müller

（Lecture notes in mathematics, 500）

Springer-Verlag, 1975

• : gw
• : u.s.

Other Title

Proof Theory Symposion

Note

Includes bibliographies

Details

• NCID: BA00214336
• ISBN:
  • 354007533X
  • 038707533X
• LCCN: 75040482
• Country Code: gw
• Title Language Code: eng
• Text Language Code: engger
• Place of Publication: Berlin ; New York
• Pages/Volumes: viii, 383 p.
• Size: 25 cm
• Classification:
  • LCC : QA3
  • LCC : QA9.54
  • DC : 510/.8 s
  • DC : 511/.3
• Subject Headings:
  • LCSH : Proof theory -- Congresses
  • LCSH : Schütte, K. (Kurt) -- Bibliography
• Parent Bibliography ID:
  • BA00146586