TY  - BOOK
AU  - Rojas B., Rafael.
TI  - Sistemas formales
T2  - Comunicación interna. Notas de clase
PY  - 1981///
CY  - México
PB  - UNAM. Facultad de Ciencias. Departamento de Matemáticas
KW  - Lógica simbólica y matemática
N1  - 29-23
ER  -