EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE
MICHAEL J.O’DONNELL2222 年出版296 页ISBN：026215028X
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 LOGIC DESEGN SECOND EDITION
ALAN B.MARCOVITZ FLORIDA ATOANTIC UNIVERSITY著2006 年出版652 页ISBN：
META-PROGRAMMING IN LOGIC PROGRAMMING
HARVEY ABRAMSON AND M.H.ROGERS2222 年出版545 页ISBN：0262510472
Logic Works 4:INTERACTIVE CIRCUIT DESIGN SOFTWARE
Addison Wesley1999 年出版423 页ISBN：
