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
A Problem Course in Mathematical Logicby Stefan Bilaniuk
An introduction to mathematical logic for undergraduates. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is to learn the material by solving the problems.
(23471 views)
Introduction to Mathematical Logicby Vilnis Detlovs, Karlis Podnieks - University of Latvia
From the table of contents: 1. Introduction. What Is Logic, Really?; 2. Propositional Logic; 3. Predicate Logic; 4. Completeness Theorems (Model Theory); 5. Normal Forms. Resolution Method; 6. Miscellaneous (Negation as Contradiction or Absurdity).
(12790 views)
forall x: An Introduction to Formal Logicby P.D. Magnus
An introduction to sentential logic and first-order predicate logic with identity, logical systems that influenced twentieth-century analytic philosophy. The book should help students understand quantified expressions in their philosophical reading.
(19627 views)
The Principles Of Mathematicsby Bertrand Russell - W. W. Norton & Company
Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.
(15745 views)