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.
| ISBN: | 9783030055400 |
| Publication date: | 4th January 2019 |
| Author: | Alfred Tarski |
| Publisher: | Birkhauser an imprint of Springer International Publishing |
| Format: | Hardback |
| Pagination: | 4 pages |
| Genres: |
Mathematical logic Philosophy: logic Mathematical theory of computation |
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.
Collected Papers features in the following genres: Mathematical logic, Philosophy: logic, Mathematical theory of computation
Hardback. Not Available.
Collected Papers was written by Alfred Tarski and published by Birkhauser an imprint of Springer International Publishing
Collected Papers has 4 pages