本书是一本面向逻辑学专业的逻辑学教材，适用于文科哲学、语言学、数学、思政、管理学等专业本科生、。本书系统地阐述了从莱布尼茨到哥德尔的数理逻辑的思想和方法：不仅介绍了构造命题逻辑、谓词逻辑的公理系统、自然推理系统以及系统内定理的作规则和等思想的形式化方法，同时也进一步探讨了这些形式化方法所包含的生动活泼的思想（这是本书的鲜明特），便于人们“徜徉”数理逻辑“秀山丽水”的本质与全貌。