Report - Helden van de wiskunde: L.E.J. Brouwer Brouwers visie ...herman/SLIDES/NWDtalk.pdf · Kleene Realiseerbaarheid, Curry-Howard Formules als Types We kunnen de BHK interpretatie nog

Please pass captcha verification before submit form