Order Total (1 Item Items):
Shipping Destination:
Iterated Inductive Definitions Subsystems (14 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (14)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (14)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (8)
- Not Print on Demand (12)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Association Member: PBFA
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Type: Book N.B. Small plain label to inside front cover. (MATHEMATICS).
-
PF. Condition: New.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 32.11
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Published by Springer Berlin Heidelberg, 1981
ISBN 10: 3540111700 ISBN 13: 9783540111702
Language: English
£ 25.63
Convert currency£ 7.73 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Seiten: 392 | Sprache: Englisch | Produktart: Bücher.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1981
ISBN 10: 3540111700 ISBN 13: 9783540111702
Language: English
£ 38.06
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketPaperback. Condition: New. 1981 ed.
-
Iterated Inductive Definitions and Subsystems of Analysis (Lecture Notes in Mathematics)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: 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.
-
£ 25.51
Convert currency£ 15.64 shipping from Germany to United KingdomQuantity: 1 available
Add to basketSoftcover. 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
Published by Springer Berlin Heidelberg, 1981
ISBN 10: 3540111700 ISBN 13: 9783540111702
Language: English
£ 33.47
Convert currency£ 12.15 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: 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.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1981, 1981
ISBN 10: 3540111700 ISBN 13: 9783540111702
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 33.47
Convert currency£ 30.41 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: 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
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1981
ISBN 10: 3540111700 ISBN 13: 9783540111702
Language: English
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 4 out of 5 stars
£ 44.51
Convert currency£ 25 shipping within United KingdomQuantity: Over 20 available
Add to basketPaperback. Condition: New. 1981 ed.
-
£ 27.38
Convert currency£ 63.30 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: good. Used book in good and clean conditions. Pages and cover are intact. Limited notes marks and highlighting may be present. May show signs of normal shelf wear and bends on edges. Item may be missing CDs or access codes. May include library marks. Fast Shipping.
-
£ 38.54
Convert currency£ 55.85 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Published by Springer Berlin Heidelberg Dez 1981, 1981
ISBN 10: 3540111700 ISBN 13: 9783540111702
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
£ 33.47
Convert currency£ 9.56 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: 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: Recent Proof-Theoretical Studies
Published by Springer Berlin Heidelberg, 1981
ISBN 10: 3540111700 ISBN 13: 9783540111702
Language: English
£ 31.48
Convert currency£ 21.71 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: 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.
