BN Homepage Two-Image carousal

!

Javascript is not enabled in your browser. Enabling JavaScript in your browser will allow you to experience all the features of our site.

Learn how to enable JavaScript on your browser

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Add to Wishlist

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Paperback(1973)

$69.99

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.

Available within 2 business hours

Want it Today?
Check Store Availability

Related collections and offers

Product Details
Table of Contents

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

Page 1 of

Customer Reviews