Logo

Intuitionistic Logic by Nick Bezhanishvili, Dick de Jongh

Small book cover: Intuitionistic Logic

Intuitionistic Logic
by

Publisher: Universiteit van Amsterdam
Number of pages: 57

Description:
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 for free here:
Download link
(370KB, PDF)

Similar books

Book cover: Logic for Computer ScientistsLogic for Computer Scientists
by - Wikibooks
This book is intended for computer scientists and it assumes only some basic mathematical notions like relations and orderings. The aim was to create an interactive script where logics can be experienced by interaction and experimentation.
(10270 views)
Book cover: A Concise Introduction to Mathematical LogicA Concise Introduction to Mathematical Logic
by - Springer
A well-written introduction to the beautiful and coherent subject. It contains classical material such as logical calculi, beginnings of model theory, and Goedel's incompleteness theorems, as well as some topics motivated by applications.
(14163 views)
Book cover: Notes on the Science of LogicNotes on the Science of Logic
by - University of Pittsburgh
This course assumes you know how to use truth functions and quantifiers as tools. Our task here is to study these very tools. Contents: logic of truth functional connectives; first order logic of extensional predicates, operators, and quantifiers.
(11119 views)
Book cover: Algebraic LogicAlgebraic Logic
by
Part I of the book studies algebras which are relevant to logic. Part II deals with the methodology of solving logic problems by (i) translating them to algebra, (ii) solving the algebraic problem, and (iii) translating the result back to logic.
(17451 views)