PÉREZ, Federico <br/><br/>
Desarrollo de algoritmos para determinar si una fórmula es un teorema del sistema. Sistema K de Kleene 

 - Rafaela,   2009. 
 - 16 páginas 
<br/><br/><label>Subjects--Topical Terms: </label><br/>CIENCIA Y TECNOLOGIA DE LOS ORDENADORES. INFORMATI<br/>INGENIERIA EN INFORMÁTICA<br/>LOGICA Y SEMANTICA FORMALES