Metamathematical investigation of intuitionistic arithmetic and analysis
Author(s)
Bibliographic Information
Metamathematical investigation of intuitionistic arithmetic and analysis
（ILLC prepublication series, X-93-05）
Institute for Logic, Language and Computation, 1993
2nd corrected ed.
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
