Addison, J. W. (2004). Tarski's theory of definability: common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic. Ann. Pure Appl. Logic 126 No.1-3, 77-92. Provinces of logic determined. [MR] [GS?]
Addison, J. W. (1984). 'Eloge: Alfred Tarski: 1901--1983. Ann. Hist. Comput. 6 No.4, 335-336. [MR] [GS?]
(1979). Proceedings of the Tarski Symposium. Craig, William and Chang, C. C. and Henkin, Leon and Addison, John and Scott, Dana and Vaught, Robert editors. Proceedings of Symposia in Pure Mathematics, XXV. American Mathematical Society Providence, R.I. xx+498. Held at the University of California, Berkeley, Calif., June 23-30, 1971, Corrected reprint of the 1974 original. [MR] [GS?]
Addison, J. W. (1974). Current problems in descriptive set theory. In Axiomatic set theory (Proc. Sympos. Pure Math., Vol. XIII, Part II, Univ. California, Los Angeles, Calif., 1967) 1-10 Amer. Math. Soc. Providence, R.I. [MR] [GS?]
(1974). Proceedings of the Tarski Symposium. Henkin, Leon and Addison, John and Craig, William and Scott, Dana and Vaught, Robert editors. Published for the Association for Symbolic Logic by the American Mathematical Society, Providence, R. I. xxi+498. An international symposium held at the University of California, Berkeley, June 23-30, 1971, to honor Alfred Tarski on the occasion of his seventieth birthday. [MR] [GS?]
