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: A Second Course in LogicA Second Course in Logic
by - University of Cincinnati
This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, etc.
(8088 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.
(8814 views)
Book cover: An Introduction to Mathematical LogicAn Introduction to Mathematical Logic
by
This text treats pure logic and in this connection introduces to basic proof-theoretic techniques. Fundamentals of model theory and those of recursion theory are dealt with. Furthermore, some extensions of first order logic are treated.
(8157 views)
Book cover: A Friendly Introduction to Mathematical LogicA Friendly Introduction to Mathematical Logic
by - Milne Library Publishing
In this book, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study.
(3176 views)