Autres éditions populaires du même titre
Résultats de recherche pour Metamathematical Investigation of Intuitionistic Arithmetic...
Image d'archives
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540064916_new
Acheter neuf
EUR 71,56
Expédition à EUR 13,74
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Edité par
Springer Berlin Heidelberg Nov 1973, 1973
ISBN 10 : 3540064915
ISBN 13 : 9783540064916
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 504 pp. Englisch. N° de réf. du vendeur 9783540064916
Acheter neuf
EUR 69,54
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Edité par
Springer Berlin Heidelberg, 1973
ISBN 10 : 3540064915
ISBN 13 : 9783540064916
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. N° de réf. du vendeur 4879223
Acheter neuf
EUR 61,55
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Edité par
Springer, Springer Vieweg Nov 1973, 1973
ISBN 10 : 3540064915
ISBN 13 : 9783540064916
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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-Verlag KG, Sachsenplatz 4-6, 1201 Wien 504 pp. Englisch. N° de réf. du vendeur 9783540064916
Acheter neuf
EUR 69,54
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Edité par
Springer, Springer Vieweg, 1973
ISBN 10 : 3540064915
ISBN 13 : 9783540064916
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783540064916
Acheter neuf
EUR 69,54
Expédition à EUR 63,78
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Edité par
Springer, 1973
ISBN 10 : 3540064915
ISBN 13 : 9783540064916
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 504 | Sprache: Englisch | Produktart: Bücher | 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. N° de réf. du vendeur 4133014/202
Acheter D'occasion
EUR 29,90
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Edité par
Springer, 1973
ISBN 10 : 3540064915
ISBN 13 : 9783540064916
Ancien ou d'occasion
Paperback
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : Very Good. Very Good. book. N° de réf. du vendeur ERICA79035400649156
Acheter D'occasion
EUR 133,46
Expédition à EUR 28,67
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Edité par
Springer-Verlag, Berlin / Heidelberg, 1973
ISBN 10 : 3540064915
ISBN 13 : 9783540064916
Ancien ou d'occasion
orig. wrappers
Vendeur : Expatriate Bookshop of Denmark, Svendborg, Danemark
Évaluation du vendeur 5 sur 5 étoiles
orig. wrappers. Etat : Minor wear. VG. 24x16cm, xvii,485 pp., Weighs 900 grams. Series: Lecture Notes in Mathematics, 525. N° de réf. du vendeur 027208
Acheter D'occasion
EUR 52,28
Expédition à EUR 129
Expédition depuis Danemark vers Etats-Unis
Expédition depuis Danemark vers Etats-Unis
Quantité disponible : 1 disponible(s)