Welcome to E-Books Directory
This is a freely downloadable e-book.

Intuitionistic Logic

Intuitionistic Logic
by Nick Bezhanishvili, Dick de Jongh

Publisher: Universiteit van Amsterdam 2010
Number of pages: 57

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 sides of intuitionistic logic.

Download or read it online here:

Download link

 (370KB, PDF)