EQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE
MICHAEL J.O’DONNELL2222 年出版296 页ISBN：026215028X
LOGIC MINIMIZATION ALGORITHMS FOR ALSISYNTHESIS
ROBERT K.BRAYTON GARY D.HACHTEL CURTIS T.McMULLEN ALBERTO L.SANGIOVANNI-VINCENTELLI2222 年出版194 页ISBN：0898381649
AN ALGEBRAIC INTRODUCTION TO MATHEMATICAL LOGIC
DONALD W.BARNES JOHN M.MACK2222 年出版121 页ISBN：0387901094
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：
APPLIED DATABASE LOGIC I:Fundamental Database Issues
1985 年出版334 页ISBN：0130402052
