Carnielli, W. Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge. LLP 2006, 15, 91-96.