是计算机软件与理论方向的一本经典教材，书中对计算机科学中所涉及的数理逻辑知识有详细和深入的介绍。