-
PHILOSOPHY OF LOGICS
—/ SUSAN HAACK.
索书号：B81/HS
标准编码：0-521-21988-4
出版信息：: CAMBRIDGE UNIVERSITY PR., 1978. Cambridge
-
LOGIC AND PHILOSOPHY A MODERN INTRODUCTION
—.EDITED BY HOWARD KAHANE
索书号：B81/K12
标准编码：0-534-05652-0
出版信息：，WADSWORTH PUBLISHING COMPANY c．1986 ：cau
-
LOGIC IN EVERYDAY LIFE
—. BY ZACHARY SEECH
索书号：B815/SZ
标准编码：0-534-08196-7
出版信息：，WADSWORTH PUBLISHING COMPANY c．1987 ：cau
-
THE LOGIC BOOK
—.EDITED BY MERRIE BERGMANN
索书号：B81/BM
标准编码：0-394-32323-8
出版信息：，RANDOM HOUSE c．1980 ：New York
-
AN INTRODUCTION TO LOGIC
—. BY WAYNE A. DAVIS
索书号：B81/DWA
标准编码：0-13-486259-7
出版信息：，PRENTICE-HALL,INC c．1986 ：New Jersey
-
LOGICAL INTRODUCTION TO DATABASES
—. BY JOHN GRANT
索书号：TP311.131/GJ
标准编码：0-15-551175-0
出版信息：，HARCOURT BRACE JOVANOVICH, PUBLISHERS c．1987 ：San Diego New York
-
LOGICAL INTRODUCTION TO DATABASES
—. BY JOHN GRANT
索书号：TP311.131/GJ
标准编码：0-15-551175-0
出版信息：，HARCOURT BRACE JOVANOVICH, PUBLISHERS c．1987 ：San Diego New York
-
INTRODUCTION TO LOGIC DESIGN
—ALAN B.MARCOVITZ著
索书号：TP33/00070
标准编码：7-302-05717-6
出版信息：清华大学出版社 2002 北京
-
CONTEMPORARY LOGIC DESIGN
—(美) RANDY H. KATZ, GAETANO BORRIELLO著
索书号：TP302.2/00013
标准编码：7-121-01447-5
出版信息：电子工业出版社 2005.8 北京
-
CONSTRAINTS IN COMPUTATIONAL LOGICS :
—HUBERT COMON, CLAUDE MARCH鈋, RALF TREINEN (EDS.).
索书号：TP312/CH
标准编码：3-540-41950-0
出版信息：SPRINGER, 2001. Berlin ; London :
主题词： CONSTRAINT PROGRAMMING (COMPUTER SCIENCE)LOGIC PROGRAMMING