A Formalization of Set Theory without Variables, Vol. 41

by Alfred Tarski

Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic,...

• Format: Paperback
• Language: English
• ISBN: 0821810413
• ISBN13: 9780821810415
• Release Date: December 1987
• Publisher: American Mathematical Society
• Length: 318 Pages
• Weight: 1.80 lbs.
• Dimensions: 10.3" x 0.8" x 7.0"