Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Beschreibung

Includes supplementary material: sn.pub/extras Inhalt Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated i...

Format auswählen

Kartonierter EinbandCHF 77.60
E-Book (pdf)CHF 77.90

Kartonierter Einband

CHF77.60

E-Book (pdf)

CHF77.90

TIEFPREIS

CHF77.60

Print on Demand - Exemplar wird für Sie besorgt.

Kostenlose Lieferung

Beschreibung

Includes supplementary material: sn.pub/extras

Inhalt
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.