Logic, Semantics, Metamathematics
Logic, Semantics, Metamathematics

Author: Alfred Tarski

Publisher: Hackett Publishing Company Incorporated

Published: 1983

Total Pages: 506

ISBN-13: 9780915144754

DOWNLOAD EBOOK

Published with the aid of a grant from the National Endowment for the Humanities. Contains the only complete English-language text of The Concept of Truth in Formalized Languages. Tarski made extensive corrections and revisions of the original translations for this edition, along with new historical remarks. It includes a new preface and a new analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy.

A Formalization of Set Theory without Variables
A Formalization of Set Theory without Variables

Author: Alfred Tarski

Publisher: American Mathematical Soc.

Published: 1987

Total Pages: 342

ISBN-13: 0821810413

DOWNLOAD EBOOK

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.