**Intuitionistic Logic**

by Nick Bezhanishvili, Dick de Jongh

**Publisher**: Universiteit van Amsterdam 2010**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

**What is Mathematics: Gödel's Theorem and Around**

by

**Karlis Podnieks**-

**University of Latvia**

Textbook for students in mathematical logic and foundations of mathematics. Contents: Platonism, intuition and the nature of mathematics; Axiomatic Set Theory; First Order Arithmetic; Hilbert's Tenth Problem; Incompleteness Theorems; Godel's Theorem.

(

**4192**views)

**Lectures on Linear Logic**

by

**A. S. Troelstra**-

**CSLI**

This text deals with logical formalism, cut-elimination, the embedding of intuitionistic logic in classical linear logic, proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

(

**9384**views)

**A Second Course in Logic**

by

**Christopher Gauker**-

**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.

(

**9563**views)

**Algebraic Logic**

by

**H. Andreka, I. Nemeti, I. Sain**

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.

(

**13670**views)