Zdanowski Konrad (20 results)
- Hardcover
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, GermanyUniversitätsbuchhandlung Herta Hold GmbH
Contact seller4-star sellerCondition: Used
£ 15.86
£ 25.67 shippingShips from Germany to U.S.A.Quantity: 4 available
XVIII, 109 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Trends in Logic, Vol. 51. Sprache: Englisch.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 65.28
£ 2.93 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 66.69
£ 2.93 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. XVIII, 109 53 illus., 1 illus. in color. 1 Edition NO-PA16APR2015-KAP.
Language: English
Published by Springer International Publishing, 2019
Series: Book 44 of 53 - Trends in Logic
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.13
£ 53.00 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the…provably total functions of a theory.In the first chapter, the authors first discusses ordinal combinatorics of finite sets in the style of Ketonen and Solovay. This provides a background for an analysis of subsystems of Peano Arithmetic as well as for combinatorial independence results. Next, the volume examines a variety of proofs of Gödel's incompleteness theorems. The presented proofs differ strongly in nature. They show various aspects of incompleteness phenomena. In additon, coverage introduces some classical methods like the arithmetized completeness theorem, satisfaction predicates or partial satisfaction classes. It also applies them in many contexts.The fourth chapter defines the method of indicators for obtaining independence results. It shows what amount of transfinite induction we have in fragments of Peano arithmetic. Then, it usescombinatorics of large sets of the first chapter to show independence results. The last chapter considers nonstandard satisfaction classes. It presents some of the classical theorems related to them. In particular, it covers the results by S. Smith on definability in the language with a satisfaction class and on models without a satisfaction class.Overall, the book's content lies on the border between combinatorics, proof theory, and model theory of arithmetic. It offers readers a distinctive approach towards independence results by model-theoretic methods.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 50.21
£ 52.34 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description…of the provably total functions of a theory.In the first chapter, the authors first discusses ordinal combinatorics of finite sets in the style of Ketonen and Solovay. This provides a background for an analysis of subsystems of Peano Arithmetic as well as for combinatorial independence results. Next, the volume examines a variety of proofs of Gödel's incompleteness theorems. The presented proofs differ strongly in nature. They show various aspects of incompleteness phenomena. In additon, coverage introduces some classical methods like the arithmetized completeness theorem, satisfaction predicates or partial satisfaction classes. It also applies them in many contexts.The fourth chapter defines the method of indicators for obtaining independence results. It shows what amount of transfinite induction we have in fragments of Peano arithmetic. Then, it usescombinatorics of large sets of the first chapter to show independence results. The last chapter considers nonstandard satisfaction classes. It presents some of the classical theorems related to them. In particular, it covers the results by S. Smith on definability in the language with a satisfaction class and on models without a satisfaction class.Overall, the book's content lies on the border between combinatorics, proof theory, and model theory of arithmetic. It offers readers a distinctive approach towards independence results by model-theoretic methods.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.41
£ 59.89 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. A Model-Theoretic Approach to Proof Theory | Henryk Kotlarski | Taschenbuch | xviii | Englisch | 2020 | Springer | EAN 9783030289232 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Hardcover
Seller: Lacey Books Ltd, Cirencester, United KingdomLacey Books Ltd
Contact seller5-star sellerCondition: Used - Very good
£ 85.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Very Good. 2020 Springer hardcover edition. Light reading wear else very good condition. Contents 1. Current Climatic Conditions of Lake Regions in Poland & Impacts on Their Functioning: Andrzej Gorniak 2. Polish Rivers as Hydrographic Objects: Elzbieta Bajkiewicz-Grabowska, Maciej Markowski, Wlodzimierz Go…lus 3. Geoecosystems of Polish Lakes: Bajkiewicz-Grabowska 4. Occurrence, Genetic Types, & Evolution of Lake Basins in Poland: Adam Choinski, Mariusz Ptak 5. Soft-Water Lobelia Lakes in Poland: Dariusz Borowiak, Ryszard Piotrowicz, Kamil Nowinski, Piotr Klimaszyk 6. Environmental Conditions in Polish Lakes with Different Types of Catchments: Renata Tandyrak, Jolanta Grochowska, Katarzyna Parszuto, Renata Augustyniak, Michal Lopata 7. Characteristics of Bottom Sediments in Polish Lakes with Different Trophic Status: Augustyniak, Grochowska, Lopata, Parszuto, Tandyrak 8. Characteristics of the Water Network in Postglacial Areas of Northern Poland: Bajkiewicz-Grabowska, Golus, Markowski, Monika Kwidzinska 9. The Role of Lakes in Shaping the Runoff of Lakeland Rivers: Bajkiewicz-Grabowska, Golus, Markowski, Kwidzinska 10. Total Organic Carbon in the Water of Polish Dam Reservoirs: Gorniak 11. The Great Masurian Lakes: Hydrological Regime & Summer Phytoplankton: Agnieszka Napiorkowska-Krzebietke, Boguslaw Zdanowski, Bajkiewicz-Grabowska, Konrad Stawecki, Bartosz Czarnecki 12. Trophic State, Eutrophication, & the Threats for Water Quality of the Great Mazurian Lake System: Waldemar Siuda, Karolina Grabowska, Tomasz Kalinski, Bartosz Kiersztyn, Ryszard J. Chrost 13. Nutrient Balance of North-Eastern Poland Lakes: Grochowska, Tandyrak, Augustyniak, Lopata, Parszuto 14. Internal Phosphorus Loading in Eutrophic Lakes in Western Poland: Katarzyna Kowalczewska-Madura, Renata Dondajewska, Ryszard Goldyn 15. The Effect of a Dam Reservoir on Water Trophic Status & Forms of River Transport of Nutrients: Stanislaw Chmiel, Joanna Sposob, Katarzyna Miesiak-Wojcik, Zdzislaw Michalczyk, Slawomir Glowacki 16. Heated Konin Lakes: Structure, Functioning, & Succession: Zdanowski, Napiorkowska-Krzebietke, Stawecki, Aleksander Swiatecki, Roman Babko, Elzbieta Bogacka-Kapusta, Czarnecki, Andrzej Kapusta.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
£ 98.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
£ 40.73
£ 3.42 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
- Hardcover
- Print on Demand
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
£ 40.73
£ 4.71 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new. Questo è un articolo print on demand.
Language: English
Published by Springer International Publishing Okt 2020, 2020
Series: Book 44 of 53 - Trends in Logic
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.13
£ 19.68 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems o…r a description of the provably total functions of a theory.In the first chapter, the authors first discusses ordinal combinatorics of finite sets in the style of Ketonen and Solovay. This provides a background for an analysis of subsystems of Peano Arithmetic as well as for combinatorial independence results. Next, the volume examines a variety of proofs of Gödel's incompleteness theorems. The presented proofs differ strongly in nature. They show various aspects of incompleteness phenomena. In additon, coverage introduces some classical methods like the arithmetized completeness theorem, satisfaction predicates or partial satisfaction classes. It also applies them in many contexts.The fourth chapter defines the method of indicators for obtaining independence results. It shows what amount of transfinite induction we have in fragments of Peano arithmetic. Then, it usescombinatorics of large sets of the first chapter to show independence results. The last chapter considers nonstandard satisfaction classes. It presents some of the classical theorems related to them. In particular, it covers the results by S. Smith on definability in the language with a satisfaction class and on models without a satisfaction class.Overall, the book's content lies on the border between combinatorics, proof theory, and model theory of arithmetic. It offers readers a distinctive approach towards independence results by model-theoretic methods. 128 pp. Englisch.
Language: English
Published by Springer International Publishing Okt 2019, 2019
Series: Book 44 of 53 - Trends in Logic
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.13
£ 19.68 shippingShips from Germany to U.S.A.Quantity: 2 available
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a des…cription of the provably total functions of a theory.In the first chapter, the authors first discusses ordinal combinatorics of finite sets in the style of Ketonen and Solovay. This provides a background for an analysis of subsystems of Peano Arithmetic as well as for combinatorial independence results. Next, the volume examines a variety of proofs of Gödel's incompleteness theorems. The presented proofs differ strongly in nature. They show various aspects of incompleteness phenomena. In additon, coverage introduces some classical methods like the arithmetized completeness theorem, satisfaction predicates or partial satisfaction classes. It also applies them in many contexts.The fourth chapter defines the method of indicators for obtaining independence results. It shows what amount of transfinite induction we have in fragments of Peano arithmetic. Then, it usescombinatorics of large sets of the first chapter to show independence results. The last chapter considers nonstandard satisfaction classes. It presents some of the classical theorems related to them. In particular, it covers the results by S. Smith on definability in the language with a satisfaction class and on models without a satisfaction class.Overall, the book's content lies on the border between combinatorics, proof theory, and model theory of arithmetic. It offers readers a distinctive approach towards independence results by model-theoretic methods. 128 pp. Englisch.
- Hardcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 65.10
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand.
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 66.58
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. XVIII, 109 53 illus., 1 illus. in color.
- Hardcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 69.53
£ 8.51 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 71.10
£ 8.51 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. XVIII, 109 53 illus., 1 illus. in color.
Language: English
Published by Springer International Publishing, 2020
Series: Book 44 of 53 - Trends in Logic
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 42.63
£ 41.92 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Details ordinal combinatorics of large sets tailored for independence resultsPresents various proofs of Goedel incompleteness theoremsOffers an approach towards independence results by model-theoretic methodsHenryk Ko…tlarski (1949.
Language: English
Published by Springer International Publishing, 2019
Series: Book 44 of 53 - Trends in Logic
- Hardcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 42.63
£ 41.92 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Details ordinal combinatorics of large sets tailored for independence resultsPresents various proofs of Goedel incompleteness theoremsOffers an approach towards independence results by model-theoretic methodsHenryk Ko…tlarski (1949.
Language: English
Published by Springer, Palgrave Macmillan Okt 2020, 2020
Series: Book 44 of 53 - Trends in Logic
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.13
£ 51.34 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a…description of the provably total functions of a theory.In the first chapter, the authors first discusses ordinal combinatorics of finite sets in the style of Ketonen and Solovay. This provides a background for an analysis of subsystems of Peano Arithmetic as well as for combinatorial independence results. Next, the volume examines a variety of proofs of Gödel's incompleteness theorems. The presented proofs differ strongly in nature. They show various aspects of incompleteness phenomena. In additon, coverage introduces some classical methods like the arithmetized completeness theorem, satisfaction predicates or partial satisfaction classes. It also applies them in many contexts.The fourth chapter defines the method of indicators for obtaining independence results. It shows what amount of transfinite induction we have in fragments of Peano arithmetic. Then, it uses combinatorics of large sets of the first chapter to show independence results. The last chapter considers nonstandard satisfaction classes. It presents some of the classical theorems related to them. In particular, it covers the results by S. Smith on definability in the language with a satisfaction class and on models without a satisfaction class. Overall, the book's content lies on the border between combinatorics, proof theory, and model theory of arithmetic. It offers readers a distinctive approach towards independence results by model-theoretic methods.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 128 pp. Englisch.
Language: English
Published by Springer, Palgrave Macmillan Okt 2019, 2019
Series: Book 44 of 53 - Trends in Logic
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.13
£ 51.34 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a descrip…tion of the provably total functions of a theory.In the first chapter, the authors first discusses ordinal combinatorics of finite sets in the style of Ketonen and Solovay. This provides a background for an analysis of subsystems of Peano Arithmetic as well as for combinatorial independence results. Next, the volume examines a variety of proofs of Gödel's incompleteness theorems. The presented proofs differ strongly in nature. They show various aspects of incompleteness phenomena. In additon, coverage introduces some classical methods like the arithmetized completeness theorem, satisfaction predicates or partial satisfaction classes. It also applies them in many contexts.The fourth chapter defines the method of indicators for obtaining independence results. It shows what amount of transfinite induction we have in fragments of Peano arithmetic. Then, it uses combinatorics of large sets of the first chapter to show independence results. The last chapter considers nonstandard satisfaction classes. It presents some of the classical theorems related to them. In particular, it covers the results by S. Smith on definability in the language with a satisfaction class and on models without a satisfaction class. Overall, the book's content lies on the border between combinatorics, proof theory, and model theory of arithmetic. It offers readers a distinctive approach towards independence results by model-theoretic methods.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 128 pp. Englisch.
