Metamathematical Investigation of Intuitionistic Arithmetic and Analysis [electronic resource] / edited by A. S. Troelstra.
Material type: TextSeries: Lecture Notes in Mathematics ; 344Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1973Description: XX, 488 p. online resourceContent type:- text
- computer
- online resource
- 9783540378068
- 511.3 23
- QA8.9-10.3
Contents:
In:
Springer eBooks
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.
No physical items for this record
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.
There are no comments on this title.