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

著者

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

書誌事項

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.

タイトル別名

Proof Theory Symposion

注記

Includes bibliographies

• NII書誌ID(NCID): BA00214336
• ISBN:
  • 354007533X
  • 038707533X
• LCCN: 75040482
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: engger
• 出版地: Berlin ; New York
• ページ数/冊数: viii, 383 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA3
  • LCC : QA9.54
  • DC : 510/.8 s
  • DC : 511/.3
• 件名:
  • LCSH : Proof theory -- Congresses
  • LCSH : Schütte, K. (Kurt) -- Bibliography
• 親書誌ID:
  • BA00146586