Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
EARLY CHILDHOOD EDUCATION 98/99 NINETEENTH EDITION
KAREN MENKE PACIOREK JOYCE HUTH MUNRO1998 年出版230 页ISBN：
SUSAN B.ANTHONY AND THE STRUGGLE FOR EQUAL RIGHTS
CHRISTINE L.RIDARSKY AND MARY M.HUTH2012 年出版245 页ISBN：9781580464253
The democratic peace and territorial conflict in the twentieth century
Paul K.Huth and Todd L.Allee2002 年出版494 页ISBN：0521805082
（英）胡思（Huth，M.）伦敦帝国学院（MICHAELHuth）著2005 年出版427 页ISBN：7111160533
本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。
Michael D.Stubblefield，Michael W.ODell原著；吴秉修，周芝安译2013 年出版326 页ISBN：9861269252
Michael Leathes ; with a foreword by Michael McIlwrath2017 年出版307 页ISBN：9789041167347
edited by Michael W. Chapman ; Michael Madison1988 年出版1545 页ISBN：0397507720
