von Bruno Scarpellini
Preis unbekannt
Bruno Scarpellini
Beweistheorie Finite Intuitionistische Mathematik Transfinite induction calculus function proof proof theory well-ordering principle