{"title":"Matthias Baaz","description":null,"products":[{"product_id":"kurt-godel-and-the-foundations-of-mathematics-book-christos-papadimitriou-9780521761444","title":"Kurt Godel and the Foundations of Mathematics","description":"This volume commemorates the life, work, and foundational views of Kurt G del (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology, and the history of science. The discussion is supplemented by personal reflections from several scholars who knew G del personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of G del's fundamental work in mathematics, logic, philosophy, and other disciplines for future generations of researchers.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51158598811921,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51158600089873,"sku":"NIN9780521761444","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52137893363985,"sku":"NLS9780521761444","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0521761441.jpg?v=1750698126"},{"product_id":"methods-of-cut-elimination-book-matthias-baaz-9789400703193","title":"Methods of Cut-Elimination","description":"Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs).","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51821213352209,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ GOOD \/ SBYB","offer_id":51821213712657,"sku":"CIN9400703198G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52477242278161,"sku":"NLS9789400703193","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52763761541393,"sku":"NIN9789400703193","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789400703193.jpg?v=1752596552"},{"product_id":"methods-of-cut-elimination-book-matthias-baaz-9789400734975","title":"Methods of Cut-Elimination","description":"This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods from the point of view of proof rewriting. Within this general framework, generalizations of Gentzen's and Sch\\”utte-Tait's cut-elimination methods are defined and shown terminating with ACNFs of the original proof. Moreover, a complexity theoretic comparison of Gentzen's and Tait's methods is given.  The core of the book centers around the cut-elimination method CERES (cut elimination by resolution) developed by the authors. CERES is based on the resolution calculus and radically differs from the reductive cut-elimination methods. The book shows that CERES asymptotically outperforms all reductive methods based on Gentzen's cut-reduction rules. It obtains this result by heavy use of subsumption theorems in clause logic. Moreover, several applications of CERES are given (to interpolation, complexity analysis of cut-elimination, generalization of proofs, and to the analysis of real mathematical proofs). Lastly, the book demonstrates that CERES can be extended to nonclassical logics, in particular to finitely-valued logics and to G\\\"odel logic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52128508510481,"sku":"NLS9789400734975","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789400734975.jpg?v=1757491708"},{"product_id":"computer-science-logic-book-matthias-baaz-9783540408017","title":"Computer Science Logic","description":"This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gödel Colloquium, KGC 2003 in Vienna, Austria, in August 2003.      The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52133279924497,"sku":"NLS9783540408017","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540408017.jpg?v=1757528424"},{"product_id":"ifcolog-journal-of-logics-and-their-applications-volume-4-number-10-new-trends-i-book-matthias-baaz-9781848902688","title":"Ifcolog Journal of Logics and their Applications Volume 4, number 10. New Trends in Logic","description":"\u003cp\u003eThe IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open access, and available via the College Publications website. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLog (www.ifcolog.net). \u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52138387144977,"sku":"NLS9781848902688","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52755351830801,"sku":"NIN9781848902688","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781848902688.jpg?v=1757562510"},{"product_id":"logic-for-programming-artificial-intelligence-and-reasoning-book-matthias-baaz-9783540000105","title":"Logic for Programming, Artificial Intelligence, and Reasoning","description":"Compiled from the proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, this volume contains 30 papers. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution and proof planning.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52348471443729,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52348472230161,"sku":"NLS9783540000105","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540000105.jpg?v=1758178378"},{"product_id":"logic-colloquium-01-book-matthias-baaz-9781568812472","title":"Logic Colloquium '01","description":"A compilation of papers presented at the 2001 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '01 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The remaining articles cover seperate research topics in many areas of mathematical logic, including applications in Computer Science, Proof Theory, Set Theory, Model Theory, Computability Theory, and aspects of Philosophy. This collection will be of interest not only to specialists in mathematical logic, but also to philosophical logicians, historians of logic, computer scientists, formal linguists and mathematicians in the areas of algebra, abstract analysis and topology. A number of the articles are aimed at non-specialists and serve as good introductions for graduate students.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52707974709521,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ GARDNERS","offer_id":52707975266577,"sku":"NGR9781568812472","price":0.0,"currency_code":"GBP","in_stock":false}]}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-matthias-baaz.oembed","provider":"World of Books ","version":"1.0","type":"link"}