Martin-Löf, Per
Abstract Per Martin-Löf is one of the most prominent living…
Matematica costruttiva
Leggi tuttoMartin-Löf, Per
Matematica Costruttiva
Abstract Constructive mathematics uses intuitionistic rather than classical logic. This…
Leggi tuttoMatematica Costruttiva