Sobre álgebras de Hilbert
Hilbert (1923) ha sido el primero en observar que un ciertoconjunto de fórmulas del cálculo preposicional clásico, enlas que sólo figura el conectivo de implicación, tomadas comoaxiomas, permitiría desarrollar un fragmento interesante delcálculo proposicional. Ese fragmento es conocido con el nombre...
Autor principal: | Diego, Antonio |
---|---|
Formato: | Tesis Doctoral |
Lenguaje: | Español |
Publicado: |
1961
|
Acceso en línea: | https://hdl.handle.net/20.500.12110/tesis_n1092_Diego |
Aporte de: |
Ejemplares similares
-
Sobre álgebras de Hilbert
por: Diego, Antonio
Publicado: (1961) -
Sobre álgebras de Hilbert
por: Diego, Antonio
Publicado: (1961) -
Sobre álgebras de Hilbert /
por: Diego, Antonio
Publicado: (1965) -
Sobre algebras de Hilbert /
por: Diego, Antonio
Publicado: (1965) -
Modal three valued Hilbert algebras /
por: Saad, Susana
Publicado: (1990)