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
Otros Autores: Monteiro, A.
Formato: Tesis doctoral publishedVersion
Lenguaje:Español
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 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