![](/statics/img/blank.png)
Hilbert II - QEDEQ 0.04.02
Licencia: Gratis Tamaño del archivo: N/A
Calificación de usuarios: 4.0/5 - 1 Votos
Espera... El enlace de descarga se está verificando para ver si hay contenido malintencionado.
Podrás descargarlo en 5 segundos.
Podrás descargarlo en 5 segundos.
acerca de Hilbert II - QEDEQ
En la tradición del programa de Hilbert creamos una base de conocimiento matemático formal correcta (comprobable por un verificador de prueba) pero legible (como un libro de texto laTeX ordinario) que es de libre acceso dentro de Internet. Empezó la lógica y la teoría de conjuntos.