author : Anthony Galton

Books

• Temporal Logics and Their Applications. 1987

Short works

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