Order Total (1 Item Items):
Shipping Destination:
Pohlers Wolfram (38 results)
Feedback
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
Binding
Language (3)
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (13)
- Not Print on Demand (33)
Free Shipping
Seller Location
Seller Rating
-
![Stock image for Logic Colloquium '02: Lecture Notes in Logic 27 [Paperback] Chatzidakis, Zoé; Koepke, Peter and Pohlers, Wolfram for sale by Hay-on-Wye Booksellers](https://pictures.abebooks.com/isbn/9781568813011-uk-300.jpg)
Logic Colloquium '02: Lecture Notes in Logic 27 [Paperback] Chatzidakis, Zoé; Koepke, Peter and Pohlers, Wolfram
Published by A K Peters/CRC Press, 2006
ISBN 10: 1568813015 ISBN 13: 9781568813011
Language: English
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 4 out of 5 stars
Condition: Fine.
-
Logic Colloquium '02: Lecture Notes in Logic 27: Lecture Notes in Logic 27 [Paperback] Chatzidakis, Zo
Published by A K Peters/CRC Press, 2006
ISBN 10: 1568813015 ISBN 13: 9781568813011
Language: English
Paperback. Condition: New. Brand New Book.
-
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.3.
-
Proof Theory: An Introduction. Lecture notes in mathematics; Vol. 1407.
Published by Berlin; Heidelberg; New York; Springer., 1989
Language: English
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
Paperback. 213 p.; 24 cm, Good condition. Sprache: Englisch Gewicht in Gramm: 470.
-
Hardcover. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 93A1160 3486221132 Sprache: Deutsch Gewicht in Gramm: 600.
-
Mathematische Grundlagen der Informatik. Handbuch der Informatik. Hrsg. Endres, Krallmann, Schnupp.
Published by München [u.a.], Oldenbourg., 1993
ISBN 10: 3486221132 ISBN 13: 9783486221138
Language: German
Seller: Augusta-Antiquariat GbR, Diedorf OT Biburg, Germany
Seller rating 5 out of 5 stars
Band 1.5 24,5x17 cm. 193 S., Karton, bedruckt, Bibl.-Aufkleber. Unterer Rücken etwas fleckig. Uni-Bibl.-Band, sehr sauber, nur Titel-Rückseite Uni-Stempel. Das vorliegende Buch führt in die Theorie der Berechenbarkeit ein. Es beginnt mit der Theorie maschinenberechenbarer Funktionen und setzt diese in Zusammenhang mit rekursiven und lambda-definierten Funktionen.
-
1st ed. 1989. 228 pages Ex-Library book in good condition. 9783540518426 Sprache: Englisch Gewicht in Gramm: 381.
-
Condition: Fine. Like New condition. Great condition, but not exactly fully crisp. The book may have been opened and read, but there are no defects to the book, jacket or pages. 0.84.
-
Proof Theory : An Introduction
Published by Springer Berlin Heidelberg, 1996
ISBN 10: 3540518428 ISBN 13: 9783540518426
Language: English
Condition: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Außen: verschmutzt. Innen: Seiten eingerissen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 228 | Sprache: Englisch | Produktart: Bücher.
-
Paperback. Condition: Fair. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
Paperback. Condition: Brand New. 359 pages. 8.75x5.75x0.75 inches. In Stock.
-
Proof Theory: An Introduction (Lecture Notes in Computer Science)
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540518428 ISBN 13: 9783540518426
Language: English
Paperback. Condition: Brand New. 220 pages. 9.13x6.22x0.63 inches. In Stock.
-
Condition: Good. Good condition. This is the average used book, that has all pages or leaves present, but may include writing. Book may be ex-library with stamps and stickers. 0.84.
-
Condition: Very Good. Very Good condition. Shows only minor signs of wear, and very minimal markings inside (if any). 0.84.
-
Condition: New. New! This book is in the same immaculate condition as when it was published 0.84.
-
Condition: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 0.84.
-
Condition: New. Buy with confidence! Book is in new, never-used condition 0.84.
-
Condition: Fair. Buy with confidence! Book is in acceptable condition with wear to the pages, binding, and some marks within 0.84.
-
N.A. Condition: New. ISBN:9783662600610.
-
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 5 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: Lecture Notes in Logic 27
Published by Taylor & Francis Inc, 2006
ISBN 10: 1568813015 ISBN 13: 9781568813011
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. 544.
-
Proof Theory: The First Step into Impredicativity (Universitext)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
PF. Condition: New.
-
Condition: New.
-
Proof Theory (Paperback)
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2008
ISBN 10: 3540693181 ISBN 13: 9783540693185
Language: English
First Edition
Paperback. Condition: new. Paperback. 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 WilhelmsUniversitat 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 Gentzens 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). 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 WilhelmsUniversitat in Munster . 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Proof Theory : An Introduction
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 3540518428 ISBN 13: 9783540518426
Language: English
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
Published by Springer, Berlin, Springer Berlin Heidelberg, Springer, 2008
ISBN 10: 3540693181 ISBN 13: 9783540693185
Language: English
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).
-
![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-uk-300.jpg)
paperback. Condition: Like New. Like New. book.
-
Logic Colloquium *02: Lecture Notes in Logic 27
Published by A K Peters/CRC Press, 2006
ISBN 10: 1568813015 ISBN 13: 9781568813011
Language: English
Paperback. Condition: Like New. Like New. book.
-
Logic Colloquium *02: Lecture Notes in Logic 27
Published by A K Peters/CRC Press, 2006
ISBN 10: 1568813007 ISBN 13: 9781568813004
Language: English
Hardcover. Condition: Very Good. Very Good. book.
