MATHEMATICAL LOGIC AN INTRODUCTION T OMODEL THEORY
A.H.LIGHTSTONE1977 年出版338 页ISBN：0306308940
LOGIC AND PHILOSOPHY A MODERN INTRODUCTION SIXTH EDITION
HOWARD KAHANE1990 年出版525 页ISBN：0534123309
LOGIC AND PHILOSOPHY A MODERN INTRODUCTION FIFTH EDITION
HOWARD KAHANE1986 年出版502 页ISBN：0534056520
Dependence Logic A New Approach to Independence Friendly Logic
Jouko Vaananen2007 年出版225 页ISBN：0521876591
COMPUTERS from logic to architecture
R.D.DOWSING and F.W.D.WOODHAMS1990 年出版290 页ISBN：
THE FOUNDATIONS OF ANALYSIS：A STRAIGHTFORWARD INTRODUCTION BOOK 1 LOGIC，SETS AND NUMBERS
K.G.BINMORE2222 年出版131 页ISBN：0521233224
PROGRAMMABLE LOGIC CONTROLLERS A PRACTICAL APPROACH TO IEC 61131-3 USING CODESYS
DAG H.HANSSEN2015 年出版400 页ISBN：1118949245
STUDY GUIDE TO ACCOMPANY BARKER:THE ELEMENTS OF LOGIC FIFTH EDITION
CHRISTOPHER DREISBACH ROBERT J.CAVALIER1989 年出版226 页ISBN：0070037329
