Title: Proceedings of the Tarski Symposium
People: Alfred Tarski (1901-1983)