Collected Papers
Seiten
2019
|
1st ed. 2019
Springer International Publishing
978-3-030-05540-0 (ISBN)
Springer International Publishing
978-3-030-05540-0 (ISBN)
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.
Volume 1 1921-1934.- Volume 2 1935-1944.- Volume 3 1945-1957.- Volume 4 1958-1979.
| Erscheint lt. Verlag | 4.1.2019 |
|---|---|
| Zusatzinfo | LXXX, 2796 p. 4 volume-set. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Logik |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | Alfred Tarski • algebraic logic • Mathematical Logic • philosophy of mathematics • Theory of truth in formalized language • universal algebra |
| ISBN-10 | 3-030-05540-X / 303005540X |
| ISBN-13 | 978-3-030-05540-0 / 9783030055400 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
