Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
1101517512
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
69.99 In Stock
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

by Anne S. Troelstra (Editor)
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

by Anne S. Troelstra (Editor)

Paperback(1973)

$69.99 
  • SHIP THIS ITEM
    In stock. Ships in 1-2 days.
  • PICK UP IN STORE

    Your local store may have stock of this item.

Related collections and offers

Product Details

ISBN-13: 9783540064916
Publisher: Springer Berlin Heidelberg
Publication date: 11/20/1973
Series: Lecture Notes in Mathematics , #344
Edition description: 1973
Pages: 488
Product dimensions: 6.69(w) x 9.84(h) x 0.04(d)

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.
From the B&N Reads Blog

Customer Reviews