Intuitionistic Logic Nick Bezhanishvili, Dick de Jongh Abstract: In this course we give an introduction to intuitionistic logic. We concentrate on the propositional calculus mostly, make some minor excursions to the predicate calculus and to the use of intuitionistic logic in intuitionistic formal systems, in particular Heyting Arithmetic. We have chosen a selection of topics that show various sdes of intuitionistic logic. In no way we strive for a complete overview in this hsort course.