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
Designing With Programmable Array Logic Second Edition
1981 年出版698 页ISBN：0070427232
DIGITAL ELECTRONICS Logic and Systems Second Edition
1983 年出版547 页ISBN：0534014712
