Metamathematical investigation of intuitionistic arithmetic and analysis

Web Site CiNii Available at 69 libraries

Bibliographic Information

Title
"Metamathematical investigation of intuitionistic arithmetic and analysis"
Statement of Responsibility
A.S. Troelstra (ed.)
Publisher
  • Springer
Publication Year
  • 1973
Book size
24 cm
Series Name / No
  • : u.s.
  • : gw

Search this Book/Journal

Notes

Bibliography: p. [462]-475

Related Books

See more

Details 詳細情報について

Back to top