本书是对现代逻辑学的入门介绍，但它与其他同类入门书籍有很大不同，其目的是从代数观点看逻辑。当从这种视角来看时，许多主要概念，即那些穿着逻辑外衣的熟悉的代数概念，都成了老朋友。此外，本主题的主要定理与代数中的知名定理之间的联系也变得更加清晰，甚至证明过程往往也变得更加简单。