Buscar
Mostrando ítems 1-1 de 1
Un procedimiento decisorio para fórmulas cuantificacionales monádicas de la lógica de primer orden
(Universidad Nacional Mayor de San Marcos, 1974)
Trata sobre los problemas en la lógica y en las matemáticas y sus posibles soluciones. Presenta el método de "Procedimiento desisorio", "Método afectivo" o "Algoritmo"; los cuales sirven para cierto tipo de problemas, ...
Acceso abierto