Alfred Tarski
Biography from MacTutor History of Mathematics archive.
Introduction to Logic
"Introduction to Logic and to the Methodology of the Deductive Sciences"; Oxford University Press catalog entry.
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).