author : Anthony Galton

Books

• (Temporal Logics and Their Applications. 1987)

Papers/Articles

• The Church-Turing thesis: its nature and status. 1996. In Machines and Thought