The Interplay Between Proof and Algorithm in 3rd Century China: The Operation as Prescription of Computation and the Operation as Argumento

Chemla, K. (2005). The Interplay Between Proof and Algorithm in 3rd Century China: The Operation as Prescription of Computation and the Operation as Argumento. In Synthese Library (Vol. 327, pp. 123–145). Springer Science and Business Media B.V. https://doi.org/10.1007/1-4020-3335-4_7