"A. Tarski"