Problemas de decisión y recursividad en sistemas lógicos formales = Decision problems and recursiveness in formal logic systems /

Detalles Bibliográficos
Autor principal:	Martínez, Iveth
Otros Autores:	Piza, Eduardo
Formato:	Artículo
Lenguaje:	Spanish
Materias:	Lógica Teorías Demostración Símbolos Funciones Artículos de revista

Detalle de Existencias desde Sistema de Bibliotecas del Tecnológico de Costa Rica
Copia	Disponible

Ejemplares similares