Metamathematical investigation of intuitionistic arithmetic and analysis

Bibliographic Information

Metamathematical investigation of intuitionistic arithmetic and analysis

A.S. Troelstra (ed.)

(Lecture notes in mathematics, 344)

UT Back-in-Print Service, 1973

  • : u.s.
  • : gw

Available at  / 2 libraries

Search this Book/Journal

Note

Reprint. Originally published: Berlin ; New York : Springer, 1973

Bibliography: p. [462]-475

Description and Table of Contents

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.

by "Nielsen BookData"

Related Books: 1-1 of 1

Details

Page Top