Collected Papers by Alfred Tarski
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.
Polish mathematician Alfred Tarski (1901-83) ranks among the greatest logicians of all time. Best known for his work on model theory, meta mathematics, and algebraic logic, he contributed to many other fields of mathematics and taught at the University of California, Berkeley, for more than 40 years.
Tarski's student Andrzej Mostowksi worked at the University of Warsaw on first-order logic and model theory.
Tarski's University of California colleague Raphael M. Robinson built on Tarski's concept of essential undecidability and proved a number of mathematical theories undecidable.
Tarski's student Andrzej Mostowksi worked at the University of Warsaw on first-order logic and model theory.
Tarski's University of California colleague Raphael M. Robinson built on Tarski's concept of essential undecidability and proved a number of mathematical theories undecidable.
| SKU | Unavailable |
| ISBN 13 | 9783319953656 |
| ISBN 10 | 3319953656 |
| Title | Collected Papers |
| Author | Alfred Tarski |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | Birkhauser Verlag AG |
| Year published | 2019-01-01 |
| Number of pages | 658 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |