Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees and ordinals.- Erratum.
Inhaltsverzeichnis
Intuitionistic formal systems. - Models and computability. - Realizability and functional interpretations. - Normalization theorems for systems of natural deduction. - Applications of Kripke models. - Iterated inductive definitions, trees and ordinals. - Erratum.