Alfred Tarski door Solomon Feferman & Anita Burdman Feferman