Items related to Iterated Inductive Definitions and Subsystems of Analysis:...
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies: 897 (Lecture Notes in Mathematics, 897) - Softcover
Used - Like New
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1981
- ISBN 10 3540111700
- ISBN 13 9783540111702
- BindingPaperback
- Number of pages392
Top Search Results from the AbeBooks Marketplace
Seller Image
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics) by Buchholz, Wilfred [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540111702
Buy New
£ 39.12
Convert currency
Stock Image
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Published by
Springer
(1981)
ISBN 10: 3540111700
ISBN 13: 9783540111702
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540111702_lsuk
Buy New
£ 31.78
Convert currency
Stock Image
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540111702
Buy New
£ 27.95
Convert currency
Stock Image
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Published by
Springer
(1981)
ISBN 10: 3540111700
ISBN 13: 9783540111702
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020159287
Buy New
£ 41.17
Convert currency
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
Quantity: 2
Seller:
Rating
Book Description 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
Buy New
£ 33.04
Convert currency
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
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. 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. Seller Inventory # 9783540111702
Buy New
£ 37.26
Convert currency
Stock Image
Iterated Inductive Definitions and Subsystems of Analysis
Seller:
Rating
Book Description Condition: New. pp. 392. Seller Inventory # 261781445
Buy New
£ 66.74
Convert currency
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
Quantity: > 20
Seller:
Rating
Book Description 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
Buy New
£ 31.07
Convert currency
Stock Image
Iterated Inductive Definitions and Subsystems of Analysis
Print on Demand
Seller:
Rating
Book Description Condition: 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. Seller Inventory # 7115034
Buy New
£ 71.95
Convert currency