Hilbert II - QEDEQ 0.04.02

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.0/5 - ‎1 ‎Głosów

O Hilbert II - QEDEQ

W tradycji programu Hilberta tworzymy formalną poprawność (sprawdzaną przez weryfikatora dowodu), ale czytelną (jak zwykły podręcznik LaTeX) matematyczną bazę wiedzy, która jest swobodnie dostępna w Internecie. Logika i teoria zestawów rozpoczęty.