**Algebraic Logic**

by H. Andreka, I. Nemeti, I. Sain

2003**Number of pages**: 129

**Description**:

Part I of the book studies algebras which are relevant to logic, e.g. algebras which were obtained from logics. Part II deals with the methodology of solving logic problems by (i) translating them to algebra (the process of algebraization), (ii) solving the algebraic problem, and (iii) translating the result back to logic.

Download or read it online for free here:

**Download link**

(740KB, PDF)

## Similar books

**A Concise Introduction to Mathematical Logic**

by

**Wolfgang Rautenberg**-

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

(

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

(

**10138**views)

**Introduction to Mathematical Logic**

by

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

(

**5567**views)

**Introduction to Mathematical Logic: A problem solving course**

by

**Arnold W. Miller**-

**arXiv**

This is a set of questions written for a course in Mathematical Logic. Topics covered are: propositional logic; axioms of ZFC; wellorderings and equivalents of AC; ordinal and cardinal arithmetic; first order logic, and the compactness theorem; etc.

(

**9036**views)