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

by A. S. Troelstra - CSLI
This text deals with logical formalism, cut-elimination, the embedding of intuitionistic logic in classical linear logic, proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.
(10851 views)

by Bertrand Russell - W. W. Norton & Company
Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.
(11852 views)

by Uli Furbach - Wikibooks
This book is intended for computer scientists and it assumes only some basic mathematical notions like relations and orderings. The aim was to create an interactive script where logics can be experienced by interaction and experimentation.
(8609 views)

by Christopher Gauker - 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.
(10855 views)