Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Foundations of Constructive Mathematics
Home
Publications
Foundations of Constructive Mathematics
Foundations of Constructive Mathematics
MB
Michael J. Beeson
Michael J. Beeson
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 January 1985
book
Published by
Springer Nature
https://doi.org/10.1007/978-3-642-68952-9
Abstract
No abstract available
Keywords
CANTOR
MATHEMATICS
COMPUTABILITY THEORY
COMPUTER
COMPUTER SCIENCE
DEVELOPMENT
EXIST
FORCING
MODEL THEORY
ORGANIZATION
PHILOSOPHY
PROOF
PROOF BY CONTRADICTION
PROVING
SET THEORY
References
Cited
This publication has 0 references indexed in Scilit:
Scroll to top