Undecidable theories
by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson.
Amsterdam : North-Holland, 1953.
xi, 98 págs. ; 22 cm.
Serie: Studies in logic and the foundations of mathematics
Incluye referencias bibliográficas (p. 89-91).
Reseña: MathSciNet, 15,384h