Representación grafica del teorema de Church y Rosser E. G. K. López-Escobar — 1993 Revista colombiana de matematicas
Definitions: the primitive concept of logics or The Leśniewski-Tarski legacy E. G. K. López-Escobar; Francisco Miraglia — 2002