Logo

The Algebra of Logic by Louis Couturat

Large book cover: The Algebra of Logic

The Algebra of Logic
by

Publisher: Project Gutenberg
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.

Home page url

Download or read it online for free here:
Download link
(590KB, PDF)

Similar books

Book cover: A Second Course in LogicA Second Course in Logic
by - University of Cincinnati
This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, etc.
(7913 views)
Book cover: Topics in Logic and FoundationsTopics in Logic and Foundations
by - The Pennsylvania State University
This is a set of lecture notes from a 15-week graduate course at the Pennsylvania State University. The course covered some topics which are important in contemporary mathematical logic and foundations but usually omitted from introductory courses.
(660 views)
Book cover: Mathematical LogicMathematical Logic
by - Pennsylvania State University
Lecture notes for all mathematics graduate students. The text covers propositional calculus, predicate calculus, proof systems, extensions of the predicate calculus, theories, definability, interpretability, arithmetization and incompleteness.
(11103 views)
Book cover: Introduction to Mathematical PhilosophyIntroduction to Mathematical Philosophy
by - 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)