A Formalization of Set Theory without Variables
Download or Read eBook A Formalization of Set Theory without Variables PDF written by Alfred Tarski and published by American Mathematical Soc.. This book was released on 1987 with total page 342 pages. Available in PDF, EPUB and Kindle.
Author | : Alfred Tarski |
Publisher | : American Mathematical Soc. |
Total Pages | : 342 |
Release | : 1987 |
ISBN-10 | : 9780821810415 |
ISBN-13 | : 0821810413 |
Rating | : 4/5 (15 Downloads) |
Book Synopsis A Formalization of Set Theory without Variables by : Alfred Tarski
Book excerpt: Culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. This work shows that set theory and number theory can be developed within the framework of a new, different and simple equational formalism, closely related to the formalism of the theory of relation algebras.