
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
PAYBACK Punkte
25 °P sammeln!
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.