Ignacio Jané What is Tarski's common concept of consequence? [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 2006, v:12, n:1, pp:1-42 [Journal]
Dag Normann Computing with functionals - computability theory or computer science? [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 2006, v:12, n:1, pp:43-59 [Journal]