Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies - Couverture souple
Autres éditions populaires du même titre
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, 897)
Edité par
Springer, 1981
ISBN 10 : 3540111700
ISBN 13 : 9783540111702
Ancien ou d'occasion
Couverture souple
Vendeur : ZBK Books, Carlstadt, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. Fast & Free Shipping â" Good condition with a solid cover and clean pages. Shows normal signs of use such as light wear or a few marks highlighting, but overall a well-maintained copy ready to enjoy. Supplemental items like CDs or access codes may not be included. N° de réf. du vendeur ZWV.3540111700.G
Acheter D'occasion
EUR 31,62
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020159287
Acheter neuf
EUR 44,50
Frais de port :
EUR 3,43
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,17
Frais de port :
EUR 17,72
De Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
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 29,46
Frais de port :
EUR 28,60
De 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
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Iterated Inductive Definitions and Subsystems of Analysis
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 392. N° de réf. du vendeur 261781445
Acheter neuf
EUR 61,32
Frais de port :
EUR 3,43
Vers Etats-Unis
Quantité disponible : 4 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. 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
Frais de port :
EUR 40
De Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Iterated Inductive Definitions and Subsystems of Analysis
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 392 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 7115034
Acheter neuf
EUR 62,16
Frais de port :
EUR 7,44
De Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Iterated Inductive Definitions and Subsystems of Analysis
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 392. N° de réf. du vendeur 181781455
Acheter neuf
EUR 63,38
Frais de port :
EUR 9,95
De Allemagne vers Etats-Unis
Quantité disponible : 4 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 4 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
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles