Fundamentals of Computer Logic

1981 年出版214 页ISBN：085312258X

Logic Programming Languages Constraints

Functions1993 年出版207 页ISBN：

PROGRAMMING LOGIC AND DESIGN

COMPREHENSIVE2002 年出版434 页ISBN：

THE ALGEBRA OF LOGIC

LOUIS COUTURAT1914 年出版98 页ISBN：

TOPICS IN PHILOSOPHICAL LOGIC

DONALD DAVIDSON1968 年出版347 页ISBN：

LOGIC IN GRAMMAR POLARITY

FREE CHOICE2013 年出版468 页ISBN：

Free logic selected essays

Karel Lambert2003 年出版192 页ISBN：0521039223

Logic Designer’s Manual

John Lenk2222 年出版504 页ISBN：0879094508

LANGUAGE LOGIC AND CONCEPTS

RAY JACKENDOFF1999 年出版470 页ISBN：0262600463

LOGIC:FORM AND FUNCTION

J.A.ROBINSON1979 年出版312 页ISBN：