Extensional Gödel functional interpretation : a consistency proof of classical analysis

書誌事項

Extensional Gödel functional interpretation : a consistency proof of classical analysis

Horst Luckhardt

(Lecture notes in mathematics, 306)

Springer-Verlag, 1973

  • : u.s.
  • : gw

大学図書館所蔵 件 / 65

この図書・雑誌をさがす

注記

Bibliography: p. 157-161

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

詳細情報

ページトップへ