A CONCISE INTRODUCTION TO LOGIC

1994 年出版624 页ISBN：0534211747

Logic Design and Switching Theory

1979 年出版617 页ISBN：0471044180

Instructor's Guide Programming Logic

1983 年出版227 页ISBN：0574214216

DESIGNING WITH PROGRAMMABLE ARRAY LOGIC

2222 年出版697 页ISBN：0070427232

A Course in Mathematical logic

2222 年出版286 页ISBN：0387902430

UNDERSTANDING SYMBOLIC LOGIC SECOND EDITION

1989 年出版433 页ISBN：0139427643

PROGRAMMABLE LOGIC HANDBOOK GEOFF BOSTOCK

2222 年出版243 页ISBN：0003832139

Recent Developments in Quantum Logic

1985 年出版352 页ISBN：3411016957

THE LOGIC OF THEORY CHANGE

1991 年出版334 页ISBN：3540535675

A Tour through Mathematical Logic

2005 年出版397 页ISBN：9780883850428