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.
Es wurden noch keine Bewertungen abgegeben. Schreiben Sie die erste Bewertung zu "Metamathematical Investigation of Intuitionistic Arithmetic and Analysis" und helfen Sie damit anderen bei der Kaufentscheidung.