Metamathematical investigation of intuitionistic arithmetic and analysis

Author(s)

• Troelstra, A. S. (Anne Sjerp)

Bibliographic Information

Metamathematical investigation of intuitionistic arithmetic and analysis

A.S. Troelstra (ed.)

（ILLC prepublication series, X-93-05）

Institute for Logic, Language and Computation, 1993

2nd corrected ed.

• NCID: BA68961045
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam
• Pages/Volumes: xv, 491 p.
• Size: 30 cm
• Parent Bibliography ID:
  • BA68960869