Leibniz and Descartes - proof and eternal truths - Hacking, Ian (Dawes Hicks lecture on philosophy ;, 1973)