Order Total (1 Item Items):
Shipping Destination:
Iterated Inductive Definitions Subsystems by Buchholz Feferman (4 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (4)
- 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 (4)
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 (3)
- Not Print on Demand (3)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
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.54
Convert currency£ 7.70 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: 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.29
Convert currency£ 25 shipping within United KingdomQuantity: Over 20 available
Add to basketPaperback. Condition: New. 1981 ed.
-
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.36
Convert currency£ 21.63 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.
