Author: Tarski Symposium University of California, Berkeley 1971.