Alfred Tarski: Life and Logic by Anita Burdman Feferman; Solomon Feferman