TY  - JOUR
AU  - E. G. K. López-Escobar
TI  - Representación grafica del teorema de Church y Rosser
JO  - Revista colombiana de matematicas
PY  - 1993
SP  - 267
EP  - 280
VL  - 27
IS  - 1-2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RCM_1993__27_1-2_181889/
ID  - RCM_1993__27_1-2_181889
ER  -