Introduction to Logic Programming

1984 年出版280 页ISBN：0123520924

LOGIC SYMPOSIA HAKONE 1979，1980

1981 年出版394 页ISBN：3540111611

Critical Reasoning and Logic

2003 年出版337 页ISBN：0130812218

LOGIC：A COMPUTER APPROACH

2222 年出版347 页ISBN：0070551316

Informal Logic(Second Edition)

2222 年出版371 页ISBN：0023250518

Mathematical Logic in Asia

2011 年出版319 页ISBN：9789812700452

ADVANCED LOGIC FOR APPLICATIONS

1977 年出版176 页ISBN：9027707812

THE LOGIC OF MICROSPACE

2000 年出版447 页ISBN：1881883116

LOGIC FROM COMPUTER SCIENCE

1992 年出版608 页ISBN：0387976671

LOGIC AND DECLARATIVE LANGUAGE

1998 年出版362 页ISBN：0748408037