面向计算机科学的数理逻辑：系统建模与推理 = Logic in computer science：modelling and reasoning about systems

Main Authors: 德 胡斯 Huth, Michael ((德)Michael Huth，(英)Mark Ryan著); 英 瑞安 Ryan，Mark
Group Author: 何伟 (译); 樊磊 (译)
Published: 机械工业出版社
Publication Dates: 2007
Call Number: O141/4648