Metamathematical investigation of intuitionistic arithmetic and analysis /

Metamathematical investigation of intuitionistic arithmetic and analysis /

Saved in:

Bibliographic Details
Author / Creator:	Troelstra, A. S. (Anne Sjerp)
Imprint:	Berlin ; New York : Springer, 1973.
Description:	1 online resource (xvii, 486 pages) : illustrations.
Language:	English
Series:	Lecture notes in mathematics, 0075-8434 ; 344 Lecture notes in mathematics (Springer-Verlag) ; 344.
Subject:	Intuitionistic mathematics. Proof theory. Model theory. Intuitionistic mathematics. Model theory. Proof theory.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11070853

Hidden Bibliographic Details
ISBN:	9783540378068 3540378065 9783540064916 3540064915 9780387064918 0387064915
Notes:	Includes bibliographical references (pages 462-475) and index. Print version record.
Other form:	Print version: Troelstra, A.S. (Anne Sjerp). Metamathematical investigation of intuitionistic arithmetic and analysis. Berlin, Heidelberg, New York, Springer, 1973 0387064915 Print version: Troelstra, A.S. (Anne Sjerp). Metamathematical investigation of intuitionistic arithmetic and analysis. Berlin ; New York : Springer, 1973

Table of Contents:

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.