Browsing by Subject "Lógica de primer orden"
Now showing items 1-1 of 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 ...