Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Broschiertes Buch

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Versandkostenfrei!
Versandfertig in 1-2 Wochen
50,99 €
inkl. MwSt.
Weitere Ausgaben:
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.