Report copyright - 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
Please pass captcha verification before submit form