WRITING AND LOGIC

1982 年出版276 页ISBN：0155977881

A COMPUTATIONAL LOGIC

1979 年出版400 页ISBN：0121229505

DISCOVERING FORMAL LOGIC

1994 年出版530 页ISBN：1561342335

LOGIC THIRD EDITION

1984 年出版180 页ISBN：013540021X

LOGIC FOR MATHEMATICIANS

Hamilton2222 年出版224 页ISBN：0521218381

HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING Volume 2 Deduction Methodologies

DOV M.GABBAY1994 年出版511 页ISBN：

DIGITAI LOGIC DESIGN

B.HOLDSWORTH2222 年出版338 页ISBN：

TEXTBOOK OF LOGIC

A.WOLF2222 年出版407 页ISBN：

Digital Logic Elements

Dieter Fleischer1978 年出版228 页ISBN：

Ambiguity and logic

Frederic Schick2003 年出版154 页ISBN：0521824583