Proof Theory and Computation

Reasoning as Computation from Leibniz to Boole

Web Algorithms and Computation