John W. Addison

	2004
1		John W. Addison: 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(1-3): 77-92 (2004)