Wolfram pohlers (39 risultati)
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Wilfred Buchholz, Wilfried Sieg, Solomon Feferman, Wolfram Pohlers
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 34,58
EUR 17,93 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Paperback. Condizione: 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
Lingua: Inglese
Editore: A K Peters/CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 di 39. Libro 30 di 39 - Lecture Notes in Logic
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 62,21
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 10 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: BGV Books LLC, Murray, U.S.A.BGV Books LLC
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 66,59
Spedizione gratuitaSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer 2008
Serie: Universitext, Libro 48 di 261. Libro 48 di 261 - Universitext
- Brossura
Da: Goodwill Books, Hillsboro, U.S.A.Goodwill Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 63,39
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: good. Signs of wear and consistent use.
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
Lingua: Inglese
Editore: A K Peters/CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 di 39. Libro 30 di 39 - Lecture Notes in Logic
- Brossura
Da: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 73,00
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 10 disponibili
Condizione: New.
Lingua: Inglese
Editore: A.K. Peters, Limited 2006
Serie: Lecture Notes in Logic, Libro 30 di 39. Libro 30 di 39 - Lecture Notes in Logic
- Brossura
Da: Books Puddle, New York, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 76,47
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: 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
Lingua: Inglese
Editore: A K Peters/CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 di 39. Libro 30 di 39 - Lecture Notes in Logic
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 63,91
EUR 17,36 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer Nature (Sie) 2020
Da: Books in my Basket, New Delhi, IndiaBooks in my Basket
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 42,07
EUR 16,00 spedizioneSpedito da India a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloN.A. Condizione: 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
Logic Colloquium 0; Pohlers, Wolfram; Colloquium Logicum 200
Lingua: Inglese
Editore: A K Peters/CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 di 39. Libro 30 di 39 - Lecture Notes in Logic
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,59
EUR 17,36 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Condizione: New.
Lingua: Inglese
Editore: Taylor & Francis Inc 2006
Serie: Lecture Notes in Logic, Libro 30 di 39. Libro 30 di 39 - Lecture Notes in Logic
- Brossura
Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,60
EUR 18,74 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days.
Lingua: Inglese
Editore: A K Peters/CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 di 39. Libro 30 di 39 - Lecture Notes in Logic
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,94
EUR 13,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer 2008
Serie: Universitext, Libro 48 di 261. Libro 48 di 261 - Universitext
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,88
EUR 13,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer 2008-10 2008
Serie: Universitext, Libro 48 di 261. Libro 48 di 261 - Universitext
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,72
EUR 17,93 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- Brossura
Da: Books Puddle, New York, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 102,97
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New.
- Brossura
Da: Mispah books, Redhill, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 77,50
EUR 28,94 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
paperback. Condizione: 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)
Lingua: Inglese
Editore: A K Peters Ltd 2006
Serie: Lecture Notes in Logic, Libro 30 di 39. Libro 30 di 39 - Lecture Notes in Logic
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 94,32
EUR 14,47 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 359 pages. 8.75x5.75x0.75 inches. In Stock.
Lingua: Inglese
Editore: A K Peters/CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 di 39. Libro 30 di 39 - Lecture Notes in Logic
- Rilegato
Da: SHIMEDIA, Brooklyn, U.S.A.SHIMEDIA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 134,06
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. Satisfaction Guaranteed or your money back.
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K 1996
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 123,94
EUR 11,58 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 220 pages. 9.13x6.22x0.63 inches. In Stock.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg 1989
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,24
EUR 61,77 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 particula…r 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.
Lingua: Inglese
Editore: Springer 2008
Serie: Universitext, Libro 48 di 261. Libro 48 di 261 - Universitext
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,75
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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.
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 73,00
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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: p…reigu.
Lingua: Inglese
Editore: Springer, Berlin, Springer 2008
Serie: Universitext, Libro 48 di 261. Libro 48 di 261 - Universitext
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 87,16
EUR 62,92 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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- ev…er, 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).
- Brossura
Da: Mispah books, Redhill, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 132,35
EUR 28,94 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Editore: Mchn., Wien, Oldenbourg 1993. 1993
- Rilegato
Da: Antiquariat Löcker, Wien, AustriaAntiquariat Löcker
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 22,00
EUR 72,50 spedizioneSpedito da Austria a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellogr.-8°, 193 S., OPp., mit einigen Randverm., insges. sehr sauber und gut. (= Handbuch der Informatik Bd. 1.5).
Lingua: Inglese
Editore: A.K. Peters, Limited 2006
Serie: Lecture Notes in Logic, Libro 30 di 39. Libro 30 di 39 - Lecture Notes in Logic
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 67,56
EUR 7,52 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Condizione: New. pp. 370 This item is printed on demand.
Lingua: Inglese
Editore: CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 di 39. Libro 30 di 39 - Lecture Notes in Logic
- Brossura
- Print on Demand
Da: PBShop.store US, Wood Dale, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,36
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Lingua: Inglese
Editore: CRC Press 2006
Serie: Lecture Notes in Logic, Libro 30 di 39. Libro 30 di 39 - Lecture Notes in Logic
- Brossura
- Print on Demand
Da: PBShop.store UK, Fairford, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 73,88
EUR 5,81 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Lingua: Inglese
Editore: A.K. Peters, Limited 2006
Serie: Lecture Notes in Logic, Libro 30 di 39. Libro 30 di 39 - Lecture Notes in Logic
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 75,60
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. 370.
Lingua: Inglese
Editore: Springer, Berlin, Springer 2008
Serie: Universitext, Libro 48 di 261. Libro 48 di 261 - Universitext
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,24
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 Mathema…tics 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,59
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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.
