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：

Introduction to Symbolic Logic And Its Applications

1958 年出版257 页ISBN：

APPLIED DATABASE LOGIC I:Fundamental Database Issues

1985 年出版334 页ISBN：0130402052

An introduction to digital eletronics and logic

1981 年出版182 页ISBN：0713134402

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