 # Algebraic Logic by H. Andreka, I. Nemeti, I. Sain Algebraic Logic
by

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.

(740KB, PDF)

## Similar books Logic For Everyone
by
This is Robert Herrmann's elementary book in mathematical logic that includes all basic material in the predicate and propositional calculus presented in a unique manner. Neither proof requires specialized mathematical procedures.
(16016 views) A Problem Course in Mathematical Logic
by
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.
(21026 views) forall x: An Introduction to Formal Logic
by
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.
(17810 views) Logic for Computer Science
- Wikibooks
This book provides a survey of mathematical logic and its various applications. After covering basic material of propositional logic and first-order logic, the course presents the foundations of finite model theory and descriptive complexity.
(9997 views)