Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard

From MaRDI portal

(Redirected from Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Metamathematical_investigation_of_intuitionistic_arithmetic_and_analysis._With_contributions_by_C._A._Smorynski,_J._I._Zucker_and_W._A._Howard&oldid=78489833"