This is a preview of subscription content, access via your institution.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Heyting, A. Formal logic and mathematics. Synthese 6, 275–282 (1948). https://doi.org/10.1007/BF00590726
Issue Date:
DOI: https://doi.org/10.1007/BF00590726
Keywords
- Formal Logic