Metamathematical investigation of intuitionistic arithmetic and analysis

書誌事項

Metamathematical investigation of intuitionistic arithmetic and analysis

A.S. Troelstra (ed.)

(Lecture notes in mathematics, 344)

UT Back-in-Print Service, 1973

  • : u.s.
  • : gw

大学図書館所蔵 件 / 2

この図書・雑誌をさがす

注記

Reprint. Originally published: Berlin ; New York : Springer, 1973

Bibliography: p. [462]-475

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

詳細情報

ページトップへ