Listar por tema "Lógica de primer orden"
Mostrando ítems 1-1 de 1
-
Una interpretación algebraica de la lógica de primer orden
(Universidad Nacional Mayor de San Marcos, 2017)Acceso abiertoEn la tesis de licenciatura de Miguel Angel Merma Mora, autor de la presente investigación, se establece una interpretación algebraica de la lógica proposicional y del lenguaje predicativo monádico en un nivel básicamente ...