Wolfram pohlers (47 risultati)
- Brossura
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 27,95
EUR 15,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Broschiert. Condizione: 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
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 34,95
EUR 18,13 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
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,47
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 10 disponibili
Condizione: New.
Lingua: Inglese
Editore: A K Peters/CRC Press, 2006
- Brossura
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 58,83
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Brossura
Da: BGV Books LLC, Murray, KY, U.S.A.BGV Books LLC
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,04
Spedizione gratuitaSpedito in U.S.A.Quantità: 2 disponibili
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
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 64,92
EUR 2,29 spedizioneSpedito in U.S.A.Quantità: 10 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer, 2009
- Brossura
Da: Daedalus Books, Portland, OR, U.S.A.Daedalus Books
Contatta il venditoreVenditore con 4 stelleMembro dell’associazione: CBA
Condizione: Usato - Molto buono
EUR 62,40
EUR 5,63 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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.
Lingua: Inglese
Editore: A.K. Peters, Limited, 2006
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 75,17
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
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,60
EUR 17,55 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, 2008
- Brossura
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,60
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Brossura
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,60
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
Lingua: Inglese
Editore: A K Peters/CRC Press, 2006
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 80,28
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: CRC Press, 2006
- Brossura
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 81,08
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Lingua: Inglese
Editore: CRC Press, 2006
- Brossura
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 77,51
EUR 5,87 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
PAP. Condizione: 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
Lingua: Inglese
Editore: A K Peters/CRC Press, 2006
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 66,88
EUR 17,55 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 41,99
EUR 18,00 spedizioneSpedito da India a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloN.A. Condizione: New. ISBN:9783662600610.
Lingua: Inglese
Editore: Taylor & Francis Inc, 2006
- Brossura
Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,32
EUR 18,95 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
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 76,49
EUR 14,02 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Springer 2008-10, 2008
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 76,54
EUR 18,13 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
Lingua: Inglese
Editore: Springer, 2008
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,74
EUR 14,02 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 66,29
EUR 29,25 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Lingua: Inglese
Editore: Springer, 2008
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 109,29
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 390.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 109,76
EUR 3,46 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
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,
Chatzidakis , Zoé (Edited by)/ Koepke , Peter (Edited by)/ Pohlers , Wolfram (Edited by)
Lingua: Inglese
Editore: A K Peters Ltd, 2006
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 98,86
EUR 14,63 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
- Rilegato
Da: SHIMEDIA, Brooklyn, NY, U.S.A.SHIMEDIA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 133,80
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. Satisfaction Guaranteed or your money back.
Lingua: Inglese
Editore: Springer, 2008
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 72,85
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: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,58
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, Berlin, Springer, 2008
- 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).
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 142,96
EUR 11,70 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 220 pages. 9.13x6.22x0.63 inches. In Stock.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 145,84
EUR 29,25 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
