Wolfram pohlers (39 resultados)
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Wilfred Buchholz, Wilfried Sieg, Solomon Feferman, Wolfram Pohlers
- Tapa blanda
Librería: Chiron Media, Wallingford, , Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 34,42
Envío por EUR 17,85Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Paperback. Condición: 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
Idioma: Inglés
Editorial: A K Peters/CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 de 39. Libro 30 de 39 - Lecture Notes in Logic
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 61,66
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer 2008
Serie: Universitext, Libro 48 de 261. Libro 48 de 261 - Universitext
- Tapa blanda
Librería: Goodwill Books, Hillsboro, OR, Estados Unidos de AmericaGoodwill Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 63,73
Envío por EUR 3,48Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: good. Signs of wear and consistent use.
- Tapa blanda
Librería: BGV Books LLC, Murray, KY, Estados Unidos de AmericaBGV Books LLC
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,17
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: 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
Idioma: Inglés
Editorial: A K Peters/CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 de 39. Libro 30 de 39 - Lecture Notes in Logic
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,28
Envío por EUR 2,30Se envía dentro de Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: 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
Idioma: Inglés
Editorial: A K Peters/CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 de 39. Libro 30 de 39 - Lecture Notes in Logic
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 63,60
Envío por EUR 17,28Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: A.K. Peters, Limited 2006
Serie: Lecture Notes in Logic, Libro 30 de 39. Libro 30 de 39 - Lecture Notes in Logic
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 78,14
Envío por EUR 3,48Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: 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
Logic Colloquium 0; Pohlers, Wolfram; Colloquium Logicum 200
Idioma: Inglés
Editorial: A K Peters/CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 de 39. Libro 30 de 39 - Lecture Notes in Logic
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,28
Envío por EUR 17,28Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Condición: New.
Idioma: Inglés
Editorial: Taylor & Francis Inc 2006
Serie: Lecture Notes in Logic, Libro 30 de 39. Libro 30 de 39 - Lecture Notes in Logic
- Tapa blanda
Librería: THE SAINT BOOKSTORE, Southport, , Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,29
Envío por EUR 18,65Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback / softback. Condición: New. New copy - Usually dispatched within 4 working days.
Idioma: Inglés
Editorial: A K Peters/CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 de 39. Libro 30 de 39 - Lecture Notes in Logic
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 72,60
Envío por EUR 13,80Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Springer Nature (Sie) 2020
Librería: Books in my Basket, New Delhi, , IndiaBooks in my Basket
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 42,30
Envío por EUR 20,00Se envía de India a Estados Unidos de AmericaCantidad disponible: 4 disponibles
N.A. Condición: New. ISBN:9783662600610.
Idioma: Inglés
Editorial: Springer 2008
Serie: Universitext, Libro 48 de 261. Libro 48 de 261 - Universitext
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 78,51
Envío por EUR 13,80Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Springer 2008-10 2008
Serie: Universitext, Libro 48 de 261. Libro 48 de 261 - Universitext
- Tapa blanda
Librería: Chiron Media, Wallingford, , Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 75,37
Envío por EUR 17,85Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 77,14
Envío por EUR 28,81Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
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)
Idioma: Inglés
Editorial: A K Peters Ltd 2006
Serie: Lecture Notes in Logic, Libro 30 de 39. Libro 30 de 39 - Lecture Notes in Logic
- Tapa blanda
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 95,24
Envío por EUR 14,40Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 359 pages. 8.75x5.75x0.75 inches. In Stock.
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 110,56
Envío por EUR 3,48Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New.
Idioma: Inglés
Editorial: A K Peters/CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 de 39. Libro 30 de 39 - Lecture Notes in Logic
- Tapa dura
Librería: SHIMEDIA, Brooklyn, NY, Estados Unidos de AmericaSHIMEDIA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 134,78
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. Satisfaction Guaranteed or your money back.
Idioma: Inglés
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. K 1996
- Tapa blanda
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 127,40
Envío por EUR 11,52Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 220 pages. 9.13x6.22x0.63 inches. In Stock.
Idioma: Inglés
Editorial: Springer Berlin Heidelberg, Springer Berlin Heidelberg 1989
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 80,24
Envío por EUR 61,77Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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.
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,00
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: 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: pr…eigu.
Idioma: Inglés
Editorial: Springer 2008
Serie: Universitext, Libro 48 de 261. Libro 48 de 261 - Universitext
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 72,75
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: 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.
Idioma: Inglés
Editorial: Springer, Berlin, Springer 2008
Serie: Universitext, Libro 48 de 261. Libro 48 de 261 - Universitext
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 87,16
Envío por EUR 62,92Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: 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).
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 131,73
Envío por EUR 28,81Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Editorial: Mchn., Wien, Oldenbourg 1993. 1993
- Tapa dura
Librería: Antiquariat Löcker, Wien, , AustriaAntiquariat Löcker
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 22,00
Envío por EUR 72,50Se envía de Austria a Estados Unidos de AmericaCantidad disponible: 1 disponibles
gr.-8°, 193 S., OPp., mit einigen Randverm., insges. sehr sauber und gut. (= Handbuch der Informatik Bd. 1.5).
Idioma: Inglés
Editorial: A.K. Peters, Limited 2006
Serie: Lecture Notes in Logic, Libro 30 de 39. Libro 30 de 39 - Lecture Notes in Logic
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, , Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 67,93
Envío por EUR 7,49Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Condición: New. pp. 370 This item is printed on demand.
Idioma: Inglés
Editorial: CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 de 39. Libro 30 de 39 - Lecture Notes in Logic
- Tapa blanda
- Impresión bajo demanda
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 78,21
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Idioma: Inglés
Editorial: CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 de 39. Libro 30 de 39 - Lecture Notes in Logic
- Tapa blanda
- Impresión bajo demanda
Librería: PBShop.store UK, Fairford, GLOS, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 73,54
Envío por EUR 5,78Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Idioma: Inglés
Editorial: A.K. Peters, Limited 2006
Serie: Lecture Notes in Logic, Libro 30 de 39. Libro 30 de 39 - Lecture Notes in Logic
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 78,10
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 370.
Idioma: Inglés
Editorial: Springer, Berlin, Springer 2008
Serie: Universitext, Libro 48 de 261. Libro 48 de 261 - Universitext
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 80,24
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 Mathemat…ics 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). 374 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 85,59
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 228 pp. Englisch.
