John W. Addison

Tarski's theory of definability: common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic

John W. Addison, J. Addison, 2004, Ann. Pure Appl. Log..