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

ISBN: 978-7-111-21397-0

作 者: (德) Michael Huth, (英) Mark Ryan著 ; 何伟, 樊磊译

出版社: 机械工业出版社

出版日期: 2007