Søgeresultater for: 'Mathesis Universalis, Computability and Proof: Gottfried Leibniz's philosophy of logic in the Digital Age'