Logic In Computer Science
===================================

.. toctree::
   :maxdepth: 2
   :caption: 目录:

   命题逻辑
   谓词逻辑
   模型检验与时序逻辑