Proceedings of the Tarski Symposium an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday,. Proceedings of symposia in pure mathematics 25.