El sistema axiomatico en la logica formal desde Aristoteles hasta Frege
Autor principal: | Ramos Izquierdo Muller, Eduardo Antonio |
---|---|
Formato: | Tesis de licenciatura |
Lenguaje: | Español |
Publicado: |
1976
|
Materias: | |
Acceso en línea: | https://hdl.handle.net/20.500.14330/TES01000073577 |
Ejemplares similares
-
Hacia un tratamiento axiomatico del concepto de sistema
por: García Olvera, José Ignacio
Publicado: (1988) -
Verificación formal en lógica modal
por: Prieto Larios, Estefanía
Publicado: (2018) -
traducción del texto de Gottlob Frege : escritos póstumos sobre lógica y filosofía de lenguaje
por: Wischin Kutscherer, Kurt Konrad Heinz
Publicado: (2015) -
Logica medieval explicada por Euler, antecedente de la logica formal
por: Villanueva Ledesma, José
Publicado: (2002) -
Un resultado de completud para progresiones transfinitas de sistemas axiomáticos recursivamente enumerables
por: Nakid Cordero, Antonio
Publicado: (2018)