No disposem de cap altra edició de The Great Formal Machinery Works: Theories of Deduction and Computation at ....