STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN：0444898409
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 143 CLASSICAL RECURSION VOLUME II
P.G.ODIFREDDI1999 年出版949 页ISBN：044450205X
Fundamentals of digital logic with Verilog design Third Edition = 数字逻辑与Verilog设计 (第3版)
Stephen Brown ; Zvonko Vranesic2014 年出版848 页ISBN：7302366850
FIELD-PROGRAMMABLE GATE ARRAYS Reconfigurable Logic for Rapid Prototyping and Implementation of Digi
1995 年出版327 页ISBN：0471556653
Lecture Notes in Artificial Intelligence 4048 Deontic Logic and Artificial Normative Systems 8th Int
DEON 20062006 年出版273 页ISBN：3540358420
语言、逻辑与认知 语言逻辑和语言哲学论集 an essay in language， logic and philosophy
蔡曙山著2007 年出版434 页ISBN：7302139156
本书是作者近年来对语言、逻辑和认知研究的系统性学术成果，从现代语言学和逻辑学的校对，阐述与语言、逻辑和认知有关的一些理论问题。
CONTEMPORARY LOGIC DESIGN SECOND EDITION
[美]RANDY H.KATZ GAETANO BORRIELLO著2005 年出版607 页ISBN：7121014475
本书保持第一版注重介绍数字逻辑设计的基本内容、概念和方法这一特点，又结合目前数字设计技术的发展，更新了相应的硬件技术，加入了最新的可编程逻辑技术的知识，还引入了电子设计自动化的设计工具，通过使用目前在...
METHODOLOGIES OF USING NEURAL NETWORK AND FUZZY LOGIC TECHNOLOGIES FOR MOTOR INCIPIENT FAULT DETECTI
MO-YUEN CHOW1997 年出版140 页ISBN：9810232659
Lecture Notes in Artificial Intelligence 3900 Computational Logic in Multi-Agent Systems 6th Interna
CLIMA VILondon2222 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4529 Foundations of Fuzzy Logic and Soft Computing 12th Int
IFSA 20072007 年出版830 页ISBN：9783540729174
