ABCDEFGHIJKLMNOPQRSTUVWXYZ  

Juan Carlos Martínez

Dep. Lògica, Fac. Matemàtiques, Universitat de Barcelona

Publicacions

*	MARTÍNEZ, J.C. `Demostració automàtica´. *Butlletí de la SCM*; vol. 15, núm. 1 (juny 2000), pp. 55-70.