Introduction to Mathematical Logic and Resolution Principle
Guo-Jun Wang Hong-Jun Zhou (Second Edition)2222 年出版335 页ISBN：
A LOGIC BOOK FUNDAMENTALS OF REASONING THIRD EDITION
1998 年出版394 页ISBN：0534543383
COMPUTER LOGIC:THE FUNCTIONAL DESIGN OF DIGITAL COMPUTERS
JVAN FLORES1960 年出版458 页ISBN：
LOGIC AND PHILOSOPHY A MODERN INTRODUCTION SIXTH EDITION
HOWARD KAHANE1990 年出版525 页ISBN：0534123309
LOGIC AND PHILOSOPHY A MODERN INTRODUCTION FIFTH EDITION
HOWARD KAHANE1986 年出版502 页ISBN：0534056520
Programmable Logic Controllers Principles and Applications Second Edition
John W.Webb1992 年出版378 页ISBN：
Lecture Notes in Artificial Intelligence 4363 Logic Language
and Computation 6th International Tbilisi Symposium on Logic2222 年出版0 页ISBN：
Logic and Computer Design Fundamentals Second Edition Updated
M.Morris Mano2002 年出版650 页ISBN：7505376624
