Pohlers Wolfram (46 results)
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
£ 32.95
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipp…ed with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- Softcover
Seller: BGV Books LLC, Murray, KY, U.S.A.BGV Books LLC
Contact seller5-star sellerCondition: New
£ 34.44
Free ShippingShips within U.S.A.Quantity: 2 available
Condition: New.
- Softcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
£ 24.74
£ 13.71 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschiert. Condition: Gut. 383 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm:…640.
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Wilfred Buchholz, Wilfried Sieg, Solomon Feferman, Wolfram Pohlers
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 29.00
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
Logic Colloquium '02 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic And Colloquium Logicum, held in Munster, Germany, August 3-11, 2002
Logic Colloquium 0; Pohlers, Wolfram; Colloquium Logicum 200
Language: English
Published by A K Peters/CRC Press, 2006
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 55.50
£ 1.95 shippingShips within U.S.A.Quantity: 10 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Daedalus Books, Portland, OR, U.S.A.Daedalus Books
Contact seller4-star sellerAssociation member: CBA
Condition: Used - Very good
£ 53.31
£ 4.81 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. No Dust Jacket. Former owner's name on first page. A nice, solid copy.; Universitext; 6.1 X 0.88 X 9.25 inches; 370 pages.
Logic Colloquium '02 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic And Colloquium Logicum, held in Munster, Germany, August 3-11, 2002
Logic Colloquium 0; Pohlers, Wolfram; Colloquium Logicum 200
Language: English
Published by A K Peters/CRC Press, 2006
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.47
£ 1.95 shippingShips within U.S.A.Quantity: 10 available
Condition: New.
Language: English
Published by A.K. Peters, Limited, 2006
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 63.46
£ 2.95 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 370.
Language: English
Published by A K Peters/CRC Press, 2006
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 68.58
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by CRC Press, 2006
- Softcover
Seller: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contact seller5-star sellerCondition: New
£ 69.26
Free ShippingShips within U.S.A.Quantity: Over 20 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Language: English
Published by CRC Press, 2006
- Softcover
Seller: PBShop.store UK, Fairford, GLOS, United KingdomPBShop.store UK
Contact seller5-star sellerCondition: New
£ 64.31
£ 5.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Logic Colloquium '02 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic And Colloquium Logicum, held in Munster, Germany, August 3-11, 2002
Logic Colloquium 0; Pohlers, Wolfram; Colloquium Logicum 200
Language: English
Published by A K Peters/CRC Press, 2006
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 55.48
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Condition: As New. Unread book in perfect condition.
Logic Colloquium '02 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic And Colloquium Logicum, held in Munster, Germany, August 3-11, 2002
Logic Colloquium 0; Pohlers, Wolfram; Colloquium Logicum 200
Language: English
Published by A K Peters/CRC Press, 2006
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 55.83
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Condition: New.
Language: English
Published by Springer Nature (Sie), 2020
Seller: Books in my Basket, New Delhi, IndiaBooks in my Basket
Contact seller5-star sellerN.A. Condition: New. ISBN:9783662600610.
Language: English
Published by Taylor & Francis Inc, 2006
- Softcover
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
£ 55.84
£ 16.19 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days.
Language: English
Published by A K Peters/CRC Press, 2006
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 63.47
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 66.16
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 63.50
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2008
Series: Book 48 of 261 - Universitext
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
£ 82.31
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 1st ed. 1989. 2nd printing 2008. The kernel of this book consists of a series of lectures on in?nitary proof theory which I gave during my time at the Westfalische ¨ Wilhelms-Universitat ¨ in Munster ¨ . It was planned as a successor of Springer Lecture Notes in Mathematics 1407. H- ever, when preparin…g it, I decided to also include material which has not been treated in SLN 1407. Since the appearance of SLN 1407 many innovations in the area of - dinal analysis have taken place. Just to mention those of them which are addressed in this book: Buchholz simpli?ed local predicativity by the invention of operator controlled derivations (cf. Chapter 9, Chapter 11); Weiermann detected applications of methods of impredicative proof theory to the characterization of the provable recursive functions of predicative theories (cf. Chapter 10); Beckmann improved Gentzen's boundedness theorem (which appears as Stage Theorem (Theorem 6. 6. 1) in this book) to Theorem 6. 6. 9, a theorem which is very satisfying in itself - though its real importance lies in the ordinal analysis of systems, weaker than those treated here. Besides these innovations I also decided to include the analysis of the theory (? -REF) as an example of a subtheory of set theory whose ordinal analysis only 2 0 requires a ?rst step into impredicativity. The ordinal analysis of(? -FXP) of non- 0 1 0 monotone? -de?nable inductive de?nitions in Chapter 13 is an application of the 1 analysis of(? -REF).
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 55.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 93.36
£ 2.95 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 390.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 93.76
£ 2.95 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
Logic Colloquium '02: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic And Colloquium Logicum, held in Munster, Germany, August 3-11,
Chatzidakis , Zoé (Edited by)/ Koepke , Peter (Edited by)/ Pohlers , Wolfram (Edited by)
Language: English
Published by A K Peters Ltd, 2006
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 82.03
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 359 pages. 8.75x5.75x0.75 inches. In Stock.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 78.27
£ 26.21 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular… emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The 'constructive' consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the 'cabal language' of proof theory, but only a language familiar to most readers.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 79.71
£ 26.21 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The kernel of this book consists of a series of lectures on in nitary proof theory which I gave during my time at the Westfalische Wilhelms-Universitat in Munster . It was planned as a successor of Springer Lecture Notes in Mathematics 1407. H- eve…r, when preparing it, I decided to also include material which has not been treated in SLN 1407. Since the appearance of SLN 1407 many innovations in the area of - dinal analysis have taken place. Just to mention those of them which are addressed in this book: Buchholz simpli ed local predicativity by the invention of operator controlled derivations (cf. Chapter 9, Chapter 11); Weiermann detected applications of methods of impredicative proof theory to the characterization of the provable recursive functions of predicative theories (cf. Chapter 10); Beckmann improved Gentzen's boundedness theorem (which appears as Stage Theorem (Theorem 6. 6. 1) in this book) to Theorem 6. 6. 9, a theorem which is very satisfying in itself - though its real importance lies in the ordinal analysis of systems, weaker than those treated here. Besides these innovations I also decided to include the analysis of the theory ( -REF) as an example of a subtheory of set theory whose ordinal analysis only 2 0 requires a rst step into impredicativity. The ordinal analysis of( -FXP) of non- 0 1 0 monotone -de nable inductive de nitions in Chapter 13 is an application of the 1 analysis of( -REF).
Language: English
Published by A K Peters/CRC Press, 2006
- Hardcover
Seller: SHIMEDIA, Brooklyn, NY, U.S.A.SHIMEDIA
Contact seller4-star sellerCondition: New
£ 114.30
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. Satisfaction Guaranteed or your money back.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 64.48
£ 60.15 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Proof Theory | The First Step into Impredicativity | Wolfram Pohlers | Taschenbuch | xiv | Englisch | 2008 | Springer | EAN 9783540693185 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 116.41
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 220 pages. 9.13x6.22x0.63 inches. In Stock.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2008
Series: Book 48 of 261 - Universitext
- Softcover
Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
£ 71.14
£ 65.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 1st ed. 1989. 2nd printing 2008. The kernel of this book consists of a series of lectures on in?nitary proof theory which I gave during my time at the Westfalische ¨ Wilhelms-Universitat ¨ in Munster ¨ . It was planned as a successor of Springer Lecture Notes in Mathematics 1407. H- ever, when preparin…g it, I decided to also include material which has not been treated in SLN 1407. Since the appearance of SLN 1407 many innovations in the area of - dinal analysis have taken place. Just to mention those of them which are addressed in this book: Buchholz simpli?ed local predicativity by the invention of operator controlled derivations (cf. Chapter 9, Chapter 11); Weiermann detected applications of methods of impredicative proof theory to the characterization of the provable recursive functions of predicative theories (cf. Chapter 10); Beckmann improved Gentzen's boundedness theorem (which appears as Stage Theorem (Theorem 6. 6. 1) in this book) to Theorem 6. 6. 9, a theorem which is very satisfying in itself - though its real importance lies in the ordinal analysis of systems, weaker than those treated here. Besides these innovations I also decided to include the analysis of the theory (? -REF) as an example of a subtheory of set theory whose ordinal analysis only 2 0 requires a ?rst step into impredicativity. The ordinal analysis of(? -FXP) of non- 0 1 0 monotone? -de?nable inductive de?nitions in Chapter 13 is an application of the 1 analysis of(? -REF).
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 121.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
