Skip to content

Intuitionistic Logic And Foundations Of Arithmetic

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Intuitionistic Logic And Foundations Of Arithmetic.

  • Heyting arithmetic — A first-order theory of natural-number arithmetic using intuitionistic rather than classical logic while retaining arithmetic axioms and induction.