{"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":"First published in Polish in 1936, this classic work was originally written as a popular scientific book -- one that would present to the educated lay reader a clear picture of certain powerful trends of thought in modern logic. According to the author, these trends sought to create a unified conceptual apparatus as a common basis for the whole of human knowledge.\u003cbr\u003eBecause these new developments in logical thought tended to perfect and sharpen the deductive method, an indispensable tool in many fields for deriving conclusions from accepted assumptions, the author decided to widen the scope of the work. In subsequent editions he revised the book to make it also a text on which to base an elementary college course in logic and the methodology of deductive sciences. It is this revised edition that is reprinted here.\u003cbr\u003ePart One deals with elements of logic and the deductive method, including the use of variables, sentential calculus, theory of identity, theory of classes, theory of relations and the deductive method. The Second Part covers applications of logic and methodology in constructing mathematical theories, including laws of order for numbers, laws of addition and subtraction, methodological considerations on the constructed theory, foundations of arithmetic of real numbers, and more. The author has provided numerous exercises to help students assimilate the material, which not only provides a stimulating and thought-provoking introduction to the fundamentals of logical thought, but is the perfect adjunct to courses in logic and the foundation of mathematics.","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\/en-au\/collections\/author-books-by-alfred-tarski.oembed","provider":"World of Books ","version":"1.0","type":"link"}