Verzweigte Typentheorie, Relative Konsistenz und Fitch-Beweis – Wie Lorenzen (nach eigener Auskunft) Hilberts Forderungen für die Analysis erfüllte

In: Paul Lorenzen und die konstruktive Philosophie
Author: Matthias Wille

Purchase instant access (PDF download and unlimited online access):