A Programming Logic With An Introduction To The PL/CV Verifier
1978 年出版389 页ISBN：0876267266
Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
THE LOGIC OF CULTURE:AUTHORITY AND IDENTITY IN THE MODERN ERA
WILLIAM RAY2001 年出版214 页ISBN：
LOGIC DESIGN FOR ARRAY-BASED CIRCUITS A STRUCTURED DESIGN METHODOLOGY
D.E.White1992 年出版342 页ISBN：
UNCERTAIN RULE-BASED FUZZY LOGIC SYSTEMS:INTRODUCTION AND NEW DIRECTIONS
JERRY M.MENDEL2001 年出版555 页ISBN：
PROGRAMMABLE LOGIC CONTROLLERS A PRACTICAL APPROACH TO IEC 61131-3 USING CODESYS
DAG H.HANSSEN2015 年出版400 页ISBN：1118949245
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
LOGIC AND LINGUISTICS RESEARCH DIRECTIONS IN COGNTIVE SCIENCE EUROPEAN PERSPECTIVES VOL.2
2222 年出版217 页ISBN：0863771122
STUDY GUIDE TO ACCOMPANY BARKER:THE ELEMENTS OF LOGIC FIFTH EDITION
CHRISTOPHER DREISBACH ROBERT J.CAVALIER1989 年出版226 页ISBN：0070037329
