Ralph Gregory Taylor

Models of computation and formal languages
Mathematical definability and the paradoxes