Feferman, A. B Alfred Tarski: Life and logic - Cambridge Cambridge University Press 2004 - vi, 425p. ISBN: 0-521-80240-7