The Bulletin of Symbolic Logic, June 1999 - Contains paper on Tarski's system of geometry, by Tarski and Givant.
The Semantic Conception of Truth - Famous paper by Alfred Tarski (1944).