Order Total (1 Item Items):
Shipping Destination:
Pohlers Wolfram (38 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (38)
- 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 Learn more
Binding
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (17)
- Not Print on Demand (29)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Paperback. Condition: Fair. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way.
-
![Stock image for Logic Colloquium '02: Lecture Notes in Logic 27: Lecture Notes in Logic 27 [Paperback] Chatzidakis, Zo for sale by Broad Street Books](https://pictures.abebooks.com/isbn/9781568813011-us-300.jpg)
Logic Colloquium '02: Lecture Notes in Logic 27: Lecture Notes in Logic 27 [Paperback] Chatzidakis, Zo
Book 30 of 39: Lecture Notes in LogicLanguage: English
Published by A K Peters/CRC Press, 2006
ISBN 10: 1568813015 ISBN 13: 9781568813011
Paperback. Condition: New. Brand New Book.
-
-
Condition: good. Signs of wear and consistent use.
-
US$ 39.61
US$ 20.54 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. 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
Book 30 of 39: Lecture Notes in LogicLanguage: English
Published by A K Peters/CRC Press, 2006
ISBN 10: 1568813015 ISBN 13: 9781568813011
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
Book 30 of 39: Lecture Notes in LogicLanguage: English
Published by A K Peters/CRC Press, 2006
ISBN 10: 1568813015 ISBN 13: 9781568813011
Condition: New.
-
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Proof Theory (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1989
ISBN 10: 3540518428 ISBN 13: 9783540518426
First Edition
Paperback. Condition: new. Paperback. 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. 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 author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Logic Colloquium '02
Book 30 of 39: Lecture Notes in LogicSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
US$ 84.22
US$ 6.66 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Logic Colloquium '02: Lecture Notes in Logic 27
Book 30 of 39: Lecture Notes in LogicLanguage: English
Published by A.K. Peters, Limited, 2006
ISBN 10: 1568813015 ISBN 13: 9781568813011
Condition: New. pp. 370.
-
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
Book 30 of 39: Lecture Notes in LogicLanguage: English
Published by A K Peters/CRC Press, 2006
ISBN 10: 1568813015 ISBN 13: 9781568813011
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 73.17
US$ 19.89 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketCondition: As New. Unread book in perfect condition.
-
N.A. Condition: New. ISBN:9783662600610.
-
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
Book 30 of 39: Lecture Notes in LogicLanguage: English
Published by A K Peters/CRC Press, 2006
ISBN 10: 1568813015 ISBN 13: 9781568813011
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 76.30
US$ 19.89 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketCondition: New.
-
Logic Colloquium '02: Lecture Notes in Logic 27: Lecture Notes in Logic 27
Book 30 of 39: Lecture Notes in LogicLanguage: English
Published by Taylor & Francis Inc, 2006
ISBN 10: 1568813015 ISBN 13: 9781568813011
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 76.31
US$ 21.47 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback / softback. Condition: New. New copy - Usually dispatched within 4 working days.
-
Logic Colloquium '02: Lecture Notes in Logic 27
Book 30 of 39: Lecture Notes in LogicLanguage: English
Published by A K Peters/CRC Press, 2006
ISBN 10: 1568813015 ISBN 13: 9781568813011
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 81.58
US$ 15.89 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Logic Colloquium '02: Lecture Notes in Logic 27
Book 30 of 39: Lecture Notes in LogicLanguage: English
Published by A.K. Peters, Limited, 2006
ISBN 10: 1568813015 ISBN 13: 9781568813011
Condition: New. pp. 370.
-
Proof Theory: The First Step into Impredicativity (Universitext)
Book 63 of 261: UniversitextSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 88.25
US$ 15.89 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 86.75
US$ 20.54 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
![Stock image for Proof Theory: An Introduction (Lecture Notes in Mathematics, Volume 1407) [Special Indian Edition - Reprint Year: 2020] for sale by Mispah books](https://pictures.abebooks.com/isbn/9783662600610-us-300.jpg)
US$ 88.79
US$ 33.16 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketpaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Proof Theory: An Introduction (Lecture Notes in Computer Science)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540518428 ISBN 13: 9783540518426
US$ 111.62
US$ 13.26 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 220 pages. 9.13x6.22x0.63 inches. In Stock.
-
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,
Book 30 of 39: Lecture Notes in LogicUS$ 108.82
US$ 16.58 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 359 pages. 8.75x5.75x0.75 inches. In Stock.
-
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.
-
Proof Theory : An Introduction
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg, 1989
ISBN 10: 3540518428 ISBN 13: 9783540518426
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.
-
Proof Theory : The First Step into Impredicativity
Book 63 of 261: UniversitextLanguage: English
Published by Springer, Berlin, Springer, 2008
ISBN 10: 3540693181 ISBN 13: 9783540693185
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- ever, 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).
-
Taschenbuch. Condition: Neu. Proof Theory | An Introduction | Wolfram Pohlers | Taschenbuch | Lecture Notes in Mathematics | viii | Englisch | 1989 | Springer | EAN 9783540518426 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Proof Theory (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1989
ISBN 10: 3540518428 ISBN 13: 9783540518426
First Edition
Paperback. Condition: new. Paperback. 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. 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 author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
US$ 151.63
US$ 33.16 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Mathematische Grundlagen der Informatik.
Published by Mchn., Wien, Oldenbourg 1993., 1993
Seller: Antiquariat Löcker, Wien, Austria
Association Member: GIAQ ILAB VDA VDAO
Seller rating 4 out of 5 stars
gr.-8°, 193 S., OPp., mit einigen Randverm., insges. sehr sauber und gut. (= Handbuch der Informatik Bd. 1.5).
-
Logic Colloquium '02: Lecture Notes in Logic 27
Book 30 of 39: Lecture Notes in LogicLanguage: English
Published by A.K. Peters, Limited, 2006
ISBN 10: 1568813015 ISBN 13: 9781568813011
Condition: New. pp. 370 This item is printed on demand.
