Skip to main content

Formal logic and mathematics

This is a preview of subscription content, access via your institution.

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00590726

Keywords

  • Formal Logic