A Course in Mathematical Logic=数学逻辑教程
J. L. Bell ; M. Machover2015 年出版599 页ISBN：7510086304
PROGRAMMABLE LOGIC CONTROLLERS AND THEIR ENGINEERING APPLICATIONS
1990 年出版151 页ISBN：0077072278
Methods in Cognitive Linguistics
Monica Gonzalez-Marquez Michael J.Spivey2222 年出版453 页ISBN：9027223722
LOGIC PRO 8 AUDIO AND MUSIC PRODUCTION
MARK COUSINS AND RUSS HEPWORTH-SAWYER2008 年出版372 页ISBN：0240520475
PROGRAMMABLE LOGIC CONTROLLERS：AN INTRODUCTION THIRD EDITION
W.BOLTON2003 年出版240 页ISBN：9780750659864
Mathematical Methods in Linguistics
（美）Barbara H.Partee Alice ter Meulen Robert E.Wall2009 年出版664 页ISBN：
MATHEMATICAL LOGIC AN INTRODUCTION TO MODEL THEORY
A.H.LIGHTSTONE1977 年出版0 页ISBN：
Fuzzy Logic for Planning and Decision Making
FREERL A.LOOTSMA1997 年出版198 页ISBN：
