Overview
Buy print copy
Tax calculation will be finalised at checkout
Keywords
- Alfred Tarski
- Mathematical Logic
- Philosophy of Mathematics
- Algebraic Logic
- Universal Algebra
- Theory of Truth in Formalized Languages
About this book
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.
Authors and Affiliations
Bibliographic Information
Book Title: Collected Papers
Book Subtitle: Volume 1: 1921-1934
Authors: Alfred Tarski
Publisher: Birkhäuser Cham
Copyright Information: Springer International Publishing AG, part of Springer Nature 2019
Hardcover ISBN: 978-3-319-95365-6Published: 01 January 2019
Edition Number: 1
Number of Pages: XVIII, 658
Number of Illustrations: 15 b/w illustrations, 1 illustrations in colour