Undecidable theories
Alfred Tarski, in collaboration with Andrzej Mostowski and Raphael M. Robinson
(Dover books on mathematics)
Dover Publications, 2010, c1953
Dover ed
Undecidable theories : studies in logic and the foundation of mathematics
Originally published: Amsterdam : North-Holland Pub., 1953
Dover Publications