哈，迈克尔;马克·瑞恩 计算机科学中的逻辑。系统建模和推理。第2版。 （英语） Zbl 1073.68001号 剑桥：剑桥大学出版社（ISBN 0-521-54310-X/pbk；978-0-521-83536-7/hbk）。xiv，427页。(2004). 审核人：阿尔弗雷多·布里耶扎·穆尼兹（马拉加） MSC公司：68-01 03-01 03B70号 60年第68季度 68T27型 68问题55 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Huth}和\textit{M.Ryan}，计算机科学中的逻辑。系统建模和推理。第二版剑桥：剑桥大学出版社（2004；Zbl 1073.68001） 全文： 内政部
哈，迈克尔;马克·瑞恩 [埃德蒙·克拉克（Edmund M.Clarke）。] 计算机科学中的逻辑：关于系统的建模和推理。附有埃德蒙·克拉克的前言。 （英语） Zbl 0955.68001号 剑桥：剑桥大学出版社。第十八章，第387页（2000年）。 审核人：Marat M.Arslanov（喀山） MSC公司：68-01 03-01 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Huth}和\textit{M.Ryan}，《计算机科学中的逻辑：系统建模和推理》。Edmund M.Clarke引言。剑桥：剑桥大学出版社（2000；Zbl 0955.68001）