Person. Haim Gaifman PhD advisorAlfred Tarski PhD studentsArnon Avron PhDUniversity of California, Berkeley