Truth, Proof and Infinity pp 369-371 | Cite as

Heyting Arithmetic

• Authors
• Authors and affiliations

• Peter Fletcher

Chapter

Part of the Synthese Library book series (SYLI, volume 276)

Abstract

An HA formula is a sentence in the following language.

This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1998

Authors and Affiliations

• Peter Fletcher
  • 1

1. 1.Department of MathematicsKeele UniversityUK