Items related to Iterated Inductive Definitions and Subsystems of Analysis:...
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897) - Softcover
Synopsis
Used - Like New
"synopsis" may belong to another edition of this title.
Search results for Iterated Inductive Definitions and Subsystems of Analysis:...
Seller Image
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Seller: ZBK Books, Carlstadt, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # ZWV.3540111700.G
Quantity: 1 available
Stock Image
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020159287
Quantity: Over 20 available
Stock Image
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540111702
Quantity: 2 available
Seller Image
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
New
Paperback
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 1981 ed. Seller Inventory # LU-9783540111702
Quantity: Over 20 available
Stock Image
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
Condition: New. In. Seller Inventory # ria9783540111702_new
Quantity: Over 20 available
Stock Image
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540111702
Quantity: 10 available
Stock Image
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Type: Book N.B. Small plain label to inside front cover. (MATHEMATICS). Seller Inventory # 300210
Quantity: 1 available
Seller Image
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
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. 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. Seller Inventory # 9783540111702
Quantity: 2 available
Seller Image
Iterated inductive definitions and subsystems of analysis. Recent proof-theoretical studies.
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
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. Seller Inventory # 2485302
Quantity: 1 available
Seller Image
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Published by
Springer Berlin Heidelberg, 1981
ISBN 10: 3540111700
ISBN 13: 9783540111702
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # 4881270
Quantity: Over 20 available