, 1995, The philosophy and the programme of Hilbert, in R. S. Cohen (ed.), Mexican studies in the history and philosophy of science, Dordrecht, Springer, pp. 151-172.
with Falcon Vege, J.O. , 1995a, To show and to prove, in R. S. Cohen (ed.), Mexican studies in the history and philosophy of science, Dordrecht, Springer, pp. 249-264.