Logic books

These Logic books are recommended by Art of Problem Solving administrators and members of the AoPS Community.

Levels of reading and ability are loosely defined as follows:

• Intermediate is recommended for students grades 9 to 12.
• Collegiate is recommended for college and university students.

More advanced topics are often left with the above levels unassigned.

Books by subject

Symbolic Logic

Intermediate/Collegiate

• Elementary Logicby W.V. Quine.

Digital Logic

Intermediate/Collegiate

• Ones and Zeros: Understanding Boolean Algebra, Digital Circuits and the Logic of Setsby John Gregg.