A Formalization of Set Theory without Variables

A Formalization of Set Theory without Variables PDF Author: Alfred Tarski
Publisher: American Mathematical Soc.
ISBN: 0821810413
Category : Mathematics
Languages : en
Pages : 342

Get Book

Book Description
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.