Undecidable theories / Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson. Tarski, Alfred. Mostowski, Andrzej. Robinson, Raphael M. (Raphael Mitchel), 1911- Metamathematics. QA9 .T33 2010 510.1 22 TAU Originally published: Amsterdam : North-Holland Pub., 1953. Includes bibliographical references and index. Mineola, N.Y. : Dover, 2010. 2010. 2010 Text ix, 98 p. : eng Dover books on mathematics