Section outline

◄Introduction
►Heyting arithmetics

  • Completeness and applications (1.3.):

    Kripke's proof of completeness of intuitionistic predicate logic and its applications, Disjunction property, Existence property.

◄Introduction
►Heyting arithmetics