Fr. 90.00

Anne S. Troelstra

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

English · Paperback / Softback

Shipping usually within 1 to 2 weeks (title will be printed to order)

Description

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.

List of contents

Product details

Assisted by	Anne S. Troelstra (Editor)
Publisher	Springer, Berlin

Languages	English
Product format	Paperback / Softback
Released	29.06.2009

EAN	9783540064916
ISBN	978-3-540-06491-6
No. of pages	488
Weight	782 g
Illustrations	XX, 488 p.
Series	Lecture Notes in Mathematics Lecture Notes in Mathematics
Subject	Natural sciences, medicine, IT, technology > Mathematics > Basic principles

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.