Metamathematical investigation of intuitionistic arithmetic and analysis

書誌事項

Metamathematical investigation of intuitionistic arithmetic and analysis

A.S. Troelstra (ed.)

(Lecture notes in mathematics, 344)

Springer, 1973

  • : u.s.
  • : gw

大学図書館所蔵 件 / 68

この図書・雑誌をさがす

注記

Bibliography: p. [462]-475

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

詳細情報

ページトップへ