Montant total (1 article articles) :
Destination de la commande :
iterated inductive definitions subsystems (17 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (17)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (10)
- Comme neuf, Très bon ou Bon (2)
- Assez bon ou satisfaisant (4)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (1)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (17)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (7)
- Sans impressions à la demande (13)
Langue (1)
Prix
- Tous les prix
- Moins de EUR 20 (Aucun autre résultat ne correspond à ces critères)
- EUR 20 à EUR 45
- Plus de EUR 45
Livraison gratuite
Pays
Evaluation du vendeur
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Vendeur : ZBK Books, Carlstadt, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 31,33
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Iterated Inductive Definitions and Subsystems of Analysis (Lecture Notes in Mathematics)
Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 34,52
EUR 12,12 shipping
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
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
EUR 44,09
EUR 3,40 shipping
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
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
EUR 34,02
EUR 17,64 shipping
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Vendeur : Fireside Bookshop, Stroud, GLOS, Royaume-Uni
Membre d'association : PBFA
Évaluation du vendeur 5 sur 5 étoiles
EUR 29,33
EUR 28,47 shipping
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Type: Book N.B. Small plain label to inside front cover. (MATHEMATICS).
-
Iterated Inductive Definitions and Subsystems of Analysis
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 60,49
EUR 3,40 shipping
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 392.
-
Iterated inductive definitions and subsystems of analysis. Recent proof-theoretical studies.
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 28,50
EUR 40 shipping
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. 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.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Langue: anglais
Edité par Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1981, 1981
ISBN 10 : 3540111700 ISBN 13 : 9783540111702
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 37,40
EUR 60 shipping
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. 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.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Langue: anglais
Edité par Springer Berlin Heidelberg, 1981
ISBN 10 : 3540111700 ISBN 13 : 9783540111702
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 37,40
EUR 62,97 shipping
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
EUR 36,65
EUR 70 shipping
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies | W. Buchholz (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1981 | Springer | EAN 9783540111702 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics (897))
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 87,98
EUR 28,47 shipping
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Very Good. book.
-
Bonne affaire
EUR 25,78
EUR 105 shipping
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Zustand: Sehr gut | Seiten: 392 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Iterated Inductive Definitions and Subsystems of Analysis : Recent Proof-Theoretical Studies
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 222,88
EUR 28,47 shipping
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Langue: anglais
Edité par Springer Berlin Heidelberg Dez 1981, 1981
ISBN 10 : 3540111700 ISBN 13 : 9783540111702
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 37,40
EUR 23 shipping
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. 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.
-
Iterated Inductive Definitions and Subsystems of Analysis
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 59,99
EUR 7,40 shipping
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : 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.
-
Iterated Inductive Definitions and Subsystems of Analysis
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 62,53
EUR 9,95 shipping
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. PRINT ON DEMAND pp. 392.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Langue: anglais
Edité par Springer Berlin Heidelberg, 1981
ISBN 10 : 3540111700 ISBN 13 : 9783540111702
EUR 35,17
EUR 48,99 shipping
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : 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.
