Aristotele
Blaise_Pascal
Pitagora
Alan_Turing
Gottfried_Wilhelm_Leibniz
Logica_matematica
Charles_Babbage
Nicolla_da_Cuza
Tractatus_logico-philosophicus