A concise introduction to logic that teaches you not only how reasoning works, but why it works How Logic Works is an introductory logic textbook that is differ

Logic Works is a critical and extensive introduction to logic. It asks questions about why systems of logic are as they are, how they relate to ordinary languag

Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to inc

Provides an essential introduction to classical logic.

Authoritative account of the development of Boole's ideas in logic and probability theory ranges from The Mathematical Analysis of Logic to the end of his caree