Articles liés à Iterated Inductive Definitions and Subsystems of Analysis:...
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies - Couverture souple
Résultats de recherche pour Iterated Inductive Definitions and Subsystems of Analysis:...
Image fournie par le vendeur
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies. Lecture Notes in Mathematics, Band 897.
Edité par
Springer Verlag;, 1981
ISBN 10 : 3540111700
ISBN 13 : 9783540111702
Ancien ou d'occasion
Broschiert
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Broschiert. Etat : Gut. 383 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 640. N° de réf. du vendeur 2302885
Acheter D'occasion
EUR 27,95
Expédition à EUR 15,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In English. N° de réf. du vendeur ria9783540111702_new
Acheter neuf
EUR 38,89
Expédition à EUR 13,17
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540111702
Acheter neuf
EUR 34,83
Expédition à EUR 18,06
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Edité par
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1981
ISBN 10 : 3540111700
ISBN 13 : 9783540111702
Neuf
Paperback
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. 1981 ed. N° de réf. du vendeur LU-9783540111702
Acheter neuf
EUR 54,47
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Edité par
Springer, 1981
ISBN 10 : 3540111700
ISBN 13 : 9783540111702
Ancien ou d'occasion
Paperback
Vendeur : Fireside Bookshop, Stroud, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Type: Book N.B. Small plain label to inside front cover. (MATHEMATICS). N° de réf. du vendeur 300210
Acheter D'occasion
EUR 30,03
Expédition à EUR 29,15
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
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Edité par
Springer Berlin Heidelberg Dez 1981, 1981
ISBN 10 : 3540111700
ISBN 13 : 9783540111702
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 -Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The +1-Rule.- Ordinal analysis of ID .- Proof-theoretical analysis of ID by the method of local predicativity. 392 pp. Englisch. N° de réf. du vendeur 9783540111702
Acheter neuf
EUR 37,40
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
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. Lecture notes in mathematics; 897.
Edité par
Berlin, Springer, 1981
ISBN 10 : 3540111700
ISBN 13 : 9783540111702
Ancien ou d'occasion
Softcover
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Gut. V, 383 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. M16135 9783540111702 Sprache: Englisch Gewicht in Gramm: 650. N° de réf. du vendeur 2546675
Acheter D'occasion
EUR 27,94
Expédition à EUR 40
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Iterated inductive definitions and subsystems of analysis. Recent proof-theoretical studies.
Edité par
Berlin, Springer, 1981
ISBN 10 : 3540111700
ISBN 13 : 9783540111702
Ancien ou d'occasion
Softcover
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Gut. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-01437 3540111700 Sprache: Englisch Gewicht in Gramm: 1150. N° de réf. du vendeur 2485302
Acheter D'occasion
EUR 28,50
Expédition à EUR 40
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Edité par
Springer Berlin Heidelberg, 1981
ISBN 10 : 3540111700
ISBN 13 : 9783540111702
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. Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The ??+1-Rule.- Ordinal analysis of ID?.- Proof. N° de réf. du vendeur 4881270
Acheter neuf
EUR 35,17
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
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Edité par
Springer, Springer Vieweg Dez 1981, 1981
ISBN 10 : 3540111700
ISBN 13 : 9783540111702
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 -Inductive definitions and subsystems of analysis.- Proof theoretic equivalences between classical and constructive theories for analysis.- Inductive definitions, constructive ordinals, and normal derivations.- The +1-Rule.- Ordinal analysis of ID .- Proof-theoretical analysis of ID by the method of local predicativity.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 392 pp. Englisch. N° de réf. du vendeur 9783540111702
Acheter neuf
EUR 37,40
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)