Problemas de decisión y recursividad en sistemas lógicos formales = Decision problems and recursiveness in formal logic systems /

Detalles Bibliográficos
Autor principal:	Martínez, Iveth
Otros Autores:	Piza, Eduardo
Formato:	Artículo
Lenguaje:	Spanish
Materias:	Lógica Teorías Demostración Símbolos Funciones Artículos de revista

Descripción
Descripción no disponible.

Ejemplares similares