Leibniz 's calculus ratiocinator can be viewed as a way of making such calculations feasible .
Leibniz 's calculus ratiocinator resembles symbolic logic .
Leibniz 's calculus ratiocinator , which resembles symbolic logic , can be viewed as a way of making such calculations feasible .