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