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.