Sobre álgebras de Hilbert

Mostrar todas las versiones(5)

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:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares