Welcome to E-Books Directory
This is a freely downloadable e-book.
Intuitionistic Logic by Nick Bezhanishvili, Dick de Jongh
Read this book online or download it here for free
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.