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
A Course in Mathematical Logic=数学逻辑教程
J. L. Bell ; M. Machover2015 年出版599 页ISBN：7510086304
SOCIAL ECONOMY:THE LOGIC OF CAPITALIST DEVELOPMENT
1997 年出版200 页ISBN：0415153360
PROGRAMMABLE LOGIC CONTROLLERS AND THEIR ENGINEERING APPLICATIONS
1990 年出版151 页ISBN：0077072278
