Editor's Introduction to Alfred Tarski's Logic, Semantics, Metamathematics : Papers from 1923 to 1938
Undecidable Theories, By Alfred Tarski, in Collaboration With Andrzej Mostowski and Raphael M. Robinson