calculus ratiocinator

concept machine calculatoire théorique inventé par Gottfried Wilhelm Leibniz