**Introduction to Mathematical Logic**

by Vilnis Detlovs, Karlis Podnieks

**Publisher**: University of Latvia 2014**Number of pages**: 240

**Description**:

From the table of contents: References; 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).

Download or read it online for free here:

**Download link**

(1.1MB, PDF)

## Similar books

**Intuitionistic Logic**

by

**Nick Bezhanishvili, Dick de Jongh**-

**Universiteit van Amsterdam**

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.

(

**8887**views)

**Natural Topology**

by

**Frank Waaldijk**-

**arXiv**

We give a theoretical and applicable framework for dealing with real-world phenomena. Joining pointwise and pointfree notions in BISH, natural topology gives a faithful idea of important concepts and results in intuitionism.

(

**5940**views)

**Introduction to Mathematical Philosophy**

by

**Bertrand Russell**-

**University of Massachusetts Amherst**

A very accessible mathematical classic. It sets forth in elementary form the logical definition of number, the analysis of the notion of order, the modern doctrine of the infinite, and the theory of descriptions and classes as symbolic fictions.

(

**11603**views)

**The Haskell Road to Logic, Maths and Programming**

by

**Kees Doets, Jan van Eijck**-

**College Publications**

The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. The programming language that will be our tool for this is Haskell, a member of the Lisp family.

(

**15598**views)