A decision method for elementary algebra and geometry. Prepared for publication with the assistance of J. C. C. McKinsey. Second edition, revised. Lithoprinted

by Alfred Tarski · 1 review · 1952

Reviewed by Journal Date Access
Leon Henkin The Journal of Symbolic Logic 1952 Restricted

Metaphysics & Logic

Also by Tarski

Search PhilReviews for this title