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: Logic for Computer ScienceLogic 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.
(9799 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.
(4822 views)
Book cover: Notes on the Science of LogicNotes on the Science of Logic
by - University of Pittsburgh
This course assumes you know how to use truth functions and quantifiers as tools. Our task here is to study these very tools. Contents: logic of truth functional connectives; first order logic of extensional predicates, operators, and quantifiers.
(10725 views)
Book cover: forall x: An Introduction to Formal Logicforall 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.
(17608 views)