![](/statics/img/blank.png)
Hilbert II - QEDEQ 0.04.02
Licentie: Gratis Bestandsgrootte: N/A
Gebruikersbeoordeling: 4.0/5 - 1 Stemmen
Een ogenblik geduld... Uw downloadlink wordt geverifieerd op schadelijke inhoud.
Je het binnen 5 seconden downloaden.
Je het binnen 5 seconden downloaden.
Over Hilbert II - QEDEQ
In de traditie van Hilbert's programma creëren we een formele correcte (controleerbaar door een bewijsverificateur), maar leesbaar (zoals een gewone LaTeX leerboek) wiskundige kennis basis die vrij toegankelijk is binnen het internet. Logica en settheorie begonnen.