Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页ISBN：
Lecture Notes in Computer Science 4497 Computation and Logic in the Real World Third Conference on C
CiE 20072007 年出版826 页ISBN：9783540730002
MABEL A. BESSEY AND ISABELLE P. COFFIN1936 年出版325 页ISBN：
A Course in Mathematical Logic=数学逻辑教程
J. L. Bell ; M. Machover2015 年出版599 页ISBN：7510086304
A CONCISE INTRODUCTION TO LOGIC SIXTH EDITION
PATRICK J.HURLEY1997 年出版655 页ISBN：
A CONCISE INTRODUCTION TO LOGIC SEVENTH EDITION
PATRICK J.HURLEY2000 年出版688 页ISBN：0534520065
A LOGIC BOOK FUNDAMENTALS OF REASONING THIRD EDITION
1998 年出版394 页ISBN：0534543383
HACKING SALES THE ULTIMATE PLAYBOOK AND TOOL GUIDE TO BUILDING A HIGH-VELOCITY SALES MACHINE
MAX ALTSCHULER2016 年出版144 页ISBN：9781119281641
LOGIC AND PHILOSOPHY A MODERN INTRODUCTION SIXTH EDITION
HOWARD KAHANE1990 年出版525 页ISBN：0534123309
