Written by an esteemed professor of logic and philosophy.