ShopSpell

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis [Paperback]

Add Review

$54.99 ~~$69.99~~ 21% Off (Free Shipping)

100 available

Category: Books (Mathematics)
ISBN-10: 3540064915
ISBN-10: 3540064915
ISBN-13: 9783540064916
ISBN-13: 9783540064916
Publisher: Springer
Publisher: Springer
Pages: 488
Pages: 488
Binding: Paperback
Binding: Paperback
Pub Date: 01-Feb-1973
Pub Date: 01-Feb-1973
SKU: 3540064915-11-SPRI
SKU: 3540064915-11-SPRI
Item ID: 100831420
List Price: $69.99

Seller: ShopSpell
Ships in: 5 business days
Transit time: Up to 5 business days
Delivery by: Jan 23 to Jan 25
Notes: Brand New Book. Order Now.

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.Springer Book Archives