- Start
- Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Angebote / Angebote:
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.
Folgt in ca. 5 Arbeitstagen