David Clement Makinson (born 27 August 1941), is an Australian mathematical logician living in London, England.