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 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

大学図書館所蔵 件 / 70

この図書・雑誌をさがす

注記

Includes bibliographies

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ