Author: Tarski, Alfred.