这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书