Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Home
Publications
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1973
book
conference paper
Published by
Springer Science and Business Media LLC
https://doi.org/10.1007/bfb0066739
Abstract
No abstract available
Keywords
ARITHMETIC
INTUITIONISTISCHE MATHEMATIK
MATHEMATIK
CALCULUS
FUNCTION
ORDINAL
THEOREM
Cited by 313 articles