A Formalization of Set Theory without Variables

by Alfred Tarski · 1 review · 1989

Reviewed by	Journal	Date	Access
John Bacon	History and Philosophy of Logic	1989-01-01	Restricted

Metaphysics & Logic History of Philosophy

Also by Tarski

Introduction to logic and to the methodology of deductive sciences (3 reviews)
A decision method for elementary algebra and geometry. Prepared for publication with the assistance of J. C. C. McKinsey. Second edition, revised. Lithoprinted (1 review)
Cardinal algebras (1 review)
Collected Papers (1 review)
Collected Papers, 4v, S. R. Givant and R. N. McKenzie (eds) (1 review)
Cylindric algebras. Part II (1 review)
Cylindrical algebras (1 review)
Davidson et la signification (1 review)

Search PhilReviews for this title