TY  - BOOK
AU  - PÉREZ,Federico
TI  - Desarrollo de algoritmos para determinar si una fórmula es un teorema del sistema. Sistema K de Kleene
PY  - 2009///
CY  - Rafaela, 
KW  - CIENCIA Y TECNOLOGIA DE LOS ORDENADORES. INFORMATI
KW  - INGENIERIA EN INFORMÁTICA
KW  - LOGICA Y SEMANTICA FORMALES
ER  -