LINGUISTIC SCIENCE AND THE TEACHING OF ENGLISH
HENRY LEE SMITH1958 年出版61 页ISBN:
Computer science and multiple-valued logic theory and applications
1977 年出版548 页ISBN:0444110566
COMPUTER SCIENCE AND MULTIPLE-VALUED LOGIC THEORY AND APPLICATIONS
DAVID C.RINE2222 年出版640 页ISBN:0444868828
LECTURE NOTES IN MATHEMATICS 1429: LOGIC AND COMPUTER SCIENCE
1990 年出版169 页ISBN:3540527346;0387527346
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN:081764220X
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN:
LOGIC AND LINGUISTICS RESEARCH DIRECTIONS IN COGNTIVE SCIENCE EUROPEAN PERSPECTIVES VOL.2
2222 年出版217 页ISBN:0863771122