COPI:INTRODUCTION TO LOGIC FIFTH EDITION
MACMILLAN PUBLISHING CO.1978 年出版284 页ISBN：
MODAL LOGIC FOR PHILOSOPHERS SECOND EDITION
JAMES W.GARSON2013 年出版488 页ISBN：1107029552
LOGIC AND STRUCTURED DESIGN SECOND EDITION
HAROLD J.ROOD1992 年出版435 页ISBN：0534929664
FUNDAMENTALS OF LOGIC DESIGN THIRD EDITION
CHARLES H.ROTH1985 年出版676 页ISBN：0314852921
LOGIC WORKS:INTERACTIVE CIRCUIT DESIGN SOFTWARE
CAPILANO COMPUTING SYSTEMS1994 年出版254 页ISBN：0805313125
FUZZY SETS，FUZZY LOGIC FUZZY METHODS
HANS BANDEMER SIEGFRIED GOTTWALS2222 年出版239 页ISBN：
LOGIC AND CONTEMPORARY RHETORIC EIGHTH EDITION
HOWARD KAHANE NANCY CAVENDER1998 年出版369 页ISBN：0534524702
LOGIC MINIMIZATION ALGORITHMS FOR ALSISYNTHESIS
ROBERT K.BRAYTON GARY D.HACHTEL CURTIS T.McMULLEN ALBERTO L.SANGIOVANNI-VINCENTELLI2222 年出版194 页ISBN：0898381649
INTRODUCTION TO AUTOMATA THEORY，LANGUAGES，AND COMPUTATION （THIRD EDITION）
[美]JOHN E.HOPCROFT RAJEEV MOTWANI JEFFREY D.ULLMAN著2008 年出版535 页ISBN：9787111223924
本书介绍了形式语言、自动机理论和计算复杂性理论。
