C. Anthony Anderson Alonzo Church's contributions to philosophy and intensional logic. [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1998, v:4, n:2, pp:129-171 [Journal]
Richard Tieszen G\"odel's path from the incompleteness theorems (1931) to phenomenology (1961). [Citation Graph (0, 0)][DBLP] Bulletin of Symbolic Logic, 1998, v:4, n:2, pp:181-203 [Journal]