intuitionism
initial notes
Hilbert
definition
LEM
computability
editorial
specific page for intuitionistic logic
lecture notes
corrected link
added categories