Alfred Tarski : life and logic - Feferman, Anita Burdman, 1927-2015 (Cambridge University Press, 2004)