"several books on logic, computers, and philosophy, including From Mathematics to Philosophy (extensively discussed with G??del and containing contributions by him) and Beyond Analytic Philosophy: Doing Justice to What We Know (MIT Press Bradford Books)." . . . .