AN INTRODUCTION TO LOGIC

WAYNE A.DAVIS2222 年出版585 页ISBN：0134862597

METHODS IN MATHEMATICAL LOGIC

C.A.DIPRISCO2222 年出版407 页ISBN：3540152369

LOGIC AND LOGICAL THINKING

PETER A.FACIONE1984 年出版495 页ISBN：0070198845

THE LOGIC OF PROGRAMMING

ERIC C.R.HEHNER2222 年出版361 页ISBN：

LOGIC AND SCIENTIFIC METHOD

DR S.P.GUPTA1978 年出版120 页ISBN：

PROGRAMMING LOGIC FOR BUSINESS

LAURA SARET，ED.D2222 年出版460 页ISBN：0073660965

1985 SYMPOSIUM ON LOGIC PROGRAMMING

2222 年出版271 页ISBN：

The Development of Logic

William Kneale and Martha Kneale1962 年出版783 页ISBN：

Handbook of mathematical logic

cedited by Jon Barwise1977 年出版1165 页ISBN：072042285X

PSYCHOLOGY AND LOGIC VOLUME 1

J.R.KANTOR1945 年出版363 页ISBN：0911188363