with Torres, C. , 1995, To show and to prove, in R. S. Cohen (ed.), Mexican studies in the history and philosophy of science, Dordrecht, Springer, pp. 249-264.