Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
BücherAngebote / 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