{"title":"Alfred Tarski","description":"\u003cp\u003eExplore the groundbreaking work of Alfred Tarski, a giant in mathematical logic and abstract algebra. Delve into his profound contributions that shaped modern logic and analytical philosophy. A must for serious scholars.\u003c\/p\u003e","products":[{"product_id":"undecidable-theories-book-alfred-tarski-9780486477039","title":"Undecidable Theories","description":"This graduate-level book is well known for its proof that many mathematical systems--including lattice theory, abstract projective geometry, and closure algebras--are undecidable. Based on research conducted from 1938 to 1952, it consists of three treatises by a prolific author who ranks among the greatest logicians of all time. \u003cbr\u003eThe first article, A General Method in Proofs of Undecidability, examines theories with standard formalization, undecidable theories, interpretability, and relativization of quantifiers. The second feature, Undecidability and Essential Undecidability in Mathematics, explores definability in arbitrary theories and the formalized arithmetic of natural numbers. It also considers recursiveness, definability, and undecidability in subtheories of arithmetic as well as the extension of results to other arithmetical theories. The compilation concludes with Undecidability of the Elementary Theory of Groups.","brand":"WoB","offers":[{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":49552570974481,"sku":"GOR006617979","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":50629795643665,"sku":"GOR011443661","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":50953443967249,"sku":"CIN0486477037G","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51002872267025,"sku":"NIN9780486477039","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0486477037.jpg?v=1751230082"},{"product_id":"introduction-to-logic-book-alfred-tarski-9780486284620","title":"Introduction to Logic","description":"This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. A thought-provoking introduction to the fundamentals and the perfect adjunct to courses in logic and the foundations of mathematics. Exercises appear throughout.","brand":"WoB","offers":[{"title":"GB \/ LIKE_NEW \/ INTERNAL","offer_id":49558414197009,"sku":"GOR011915260","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ GOOD \/ SBYB","offer_id":49709368705297,"sku":"CIN048628462XG","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ WELL_READ \/ SBYB","offer_id":49710881407249,"sku":"CIN048628462XA","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":50481960124689,"sku":"GOR007958767","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ GOOD \/ INTERNAL","offer_id":50514724192529,"sku":"GOR013981133","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ GARDNERS","offer_id":50924548325649,"sku":"NGR9780486284620","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ NEW \/ INGRAM","offer_id":51002860830993,"sku":"NIN9780486284620","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":51423886901521,"sku":"CIN048628462XVG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/048628462X.jpg?v=1751432875"},{"product_id":"logic-semantics-metamathematics-book-alfred-tarski-9780915144761","title":"Logic, Semantics, Metamathematics","description":"\u003cp\u003eJill Fryman (Friday to her friends) is a line supervisor at a truck manufacturing plant in a small southern Indiana town. Life on the assembly line is almost as predictable as her love life. When it comes to matters of the heart, Friday always seems to be making the wrong choices. Things go from bad to worse when El, a sultry labor organizer from the UAW, sweeps into town to unionize the plant right after it's been bought out by a Japanese firm. Sparks fly on and off the line as Jill and El fight their growing attraction for each other against a backdrop of monster trucks, catfish dinners, Pork Day USA, and a bar called Hoosier Daddy.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"US \/ GOOD \/ SBYB","offer_id":50037904048401,"sku":"CIN091514476XG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/091514476X.jpg?v=1750850728"},{"product_id":"introduction-to-logic-and-to-the-methodology-of-deductive-sciences-galaxy-books-rare-book-alfred-tarski-1721223748dpb","title":"Introduction to Logic and to the Methodology of Deductive Sciences (Galaxy Books)","description":"1965. First Edition Thus. 252 pages. Paperback book with pictorial cover. Binding remains firm. Pages have light tanning and foxing throughout. Pencil inscription to front reverse cover. Creasing to f","brand":"WoB","offers":[{"title":"GB \/ GOOD \/ INTERNAL","offer_id":50091150016785,"sku":"1721223748DPB","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1721223748DPB_1.jpg?v=1722942771"},{"product_id":"logic-semantics-metamathematics-book-alfred-tarski-9780915144754","title":"Logic, Semantics, Metamathematics","description":"Published with the aid of a grant from the National Endowment for the Humanities.  Contains the only complete English-language text of The Concept of Truth in Formalized Languages. Tarski made extensive corrections and revisions of the original translations for this edition, along with new historical remarks. It includes a new preface and a new analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":50603747672337,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ VERY_GOOD \/ SBYB","offer_id":50603749900561,"sku":"CIN0915144751VG","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0915144751.jpg?v=1751203591"},{"product_id":"introduction-to-logic-and-to-the-methodology-of-deductive-sciences-book-alfred-tarski-9781614275404","title":"Introduction to Logic and to the Methodology of Deductive Sciences","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51039364415761,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51039368151313,"sku":"NIN9781614275404","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1614275408.jpg?v=1750799777"},{"product_id":"introduction-to-logic-book-alfred-tarski-9781774641750","title":"Introduction to Logic","description":null,"brand":"WoB","offers":[{"title":"US \/ NEW \/ INGRAM","offer_id":51052053725457,"sku":"NIN9781774641750","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/1774641755.jpg?v=1751312137"},{"product_id":"collected-papers-book-alfred-tarski-9783319953656","title":"Collected Papers","description":"Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's papers and abstracts published during his lifetime, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51452214214929,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51452214542609,"sku":"GOR014285371","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52654972731665,"sku":"NLS9783319953656","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319953656.jpg?v=1751415438"},{"product_id":"collected-papers-book-alfred-tarski-9783319954226","title":"Collected Papers","description":"Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel.  The four volumes of this collection contain all of Tarski's published papers and abstracts, as well as a comprehensive bibliography.  Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy.  These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51457681228049,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ VERY_GOOD \/ INTERNAL","offer_id":51457681555729,"sku":"GOR014287608","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52655097676049,"sku":"NLS9783319954226","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319954229.jpg?v=1750902471"},{"product_id":"einfuhrung-in-die-mathematische-logik-book-alfred-tarski-9783709158784","title":"Einführung in die Mathematische Logik","description":"Der Laie spricht manchmal die Ansicht aus, die Mathematik ware heutzutage schon eine tote Wissenschaft: nachdem sie einen ungemein hohen Grad der Entwicklung erreicht hat, sei sie in ihrer steinernen Vollkommenheit erstarrt. Dies ist ein vollig irriges Bild der Situation: nur wenige Wissenschaftsgebiete befinden sich heute in der Phase einer solch intensiven Entwicklung wie die Mathematik. Diese Entwicklung ist dabei auBerordentlich vie1seitig: die Mathematik erweitert ihre Domane nach allen moglichen Richtungen, sie wachst in die Rohe, in die Weite und in die Tiefe. Sie wachst in die Rohe, da auf dem Boden ihrer alten Theorien, denen eine jahrhundert-, ja sogar jahrtausend- lange Entwicklung zugrunde liegt, immer wieder neue Prob1eme auftauchen, immer scharfere und vollkommenere Resultate er- zielt werden; in die Weite, da ihre Methoden andere Wissen- schaftszweige durchdringen, ihr Untersuchungsbereich immer umfangreichere Gebiete von Erscheinungen umfaBt und immer neue Theorien in den groBen Kreis mathematischer Disziplinen einbezogen werden; und schlieBlich in die Tiefe, da ihre Grund- lagen immer mehr gefestigt, die bei ihrem Aufbau angewandten Methoden immer vollkommener werden und ihre Prinzipien an Dauerhaftigkeit gewinnen. In dem vorliegenden Buch wiinschte ich dem Leser, der fiir die gegenwartige Mathematik Interesse aufweist, aber ihr fern- steht, mindestens einen ganz allgemeinen Begriff von dieser dritten Entwicklungslinie der Mathematik, d. i. von ihrer Ent- wicklung in die Tiefe, zu geben.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52452854825233,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52452855415057,"sku":"NLS9783709158784","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783709158784.jpg?v=1759366120"},{"product_id":"collected-papers-book-alfred-tarski-9783319954165","title":"Collected Papers","description":"Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's papers and abstracts published during his lifetime, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52654972403985,"sku":"NLS9783319954165","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319954165.jpg?v=1762218425"},{"product_id":"collected-papers-book-alfred-tarski-9783319954288","title":"Collected Papers","description":"Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel.  These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52655088795921,"sku":"NLS9783319954288","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319954288.jpg?v=1762218993"}],"url":"https:\/\/www.worldofbooks.com\/de-ch\/collections\/autor-buecher-von-alfred-tarski.oembed","provider":"World of Books ","version":"1.0","type":"link"}