The Algebra of Logic
by Louis Couturat
Publisher: Project Gutenberg 2004
ISBN/ASIN: 1429704403
Number of pages: 102
Description:
Mathematical Logic is a necessary preliminary to logical Mathematics. The present work is concerned with the "calculus ratiocinator" aspect, and shows, in an admirably succinct form, the beauty, symmetry and simplicity of the calculus of logic regarded as an algebra.
Download or read it online for free here:
Download link
(590KB, PDF)
Similar books
A Concise Introduction to Mathematical Logicby 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.
(14246 views)
Logics of Time and Computationby Robert Goldblatt - Center for the Study of Language
Sets out the basic theory of normal modal and temporal propositional logics, applies this theory to logics of discrete, dense, and continuous time, to the temporal logic of henceforth, next, and until, and to the dynamic logic of regular programs.
(11039 views)
Actual Causalityby Joseph Y. Halpern - The MIT Press
In this book, Joseph Halpern explores actual causality, and such related notions as degree of responsibility, degree of blame, and causal explanation. The goal is to arrive at a definition of causality that matches our natural language usage.
(5654 views)
Algebraic Logicby 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.
(17517 views)