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 , University of Amsterdam, 1993
2nd corrected ed.
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.