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...

Descripción completa

Detalles Bibliográficos
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