Intuitionistic Logic Lecture Notes
Completion requirements
N. Bezhanishvilli, D. de Jongh, Intuitionistic Logic, ESSLLI 2006 Lecture notes
Click PP-2006-25.text.pdf link to view the file.