Metamathematical Investigation of Intuitionistic Arithmetic and Analysis - Couverture souple

 
9783662210352: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Couverture souple
ISBN 10 : 3662210355 ISBN 13 : 9783662210352
Editeur : Springer, 2014

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
3662210355
ISBN 13 
9783662210352
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9783540064916: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Edition présentée

ISBN 10 :  3540064915 ISBN 13 :  9783540064916
Editeur : Springer, 2009
Couverture souple