Intuitionistic logic - Bezhanishvili, Nick; Jongh, Dick de (ILLC research report and technical notes series, 2006)