Parallel and constraint logic programming an introduction to logic
parallelism and constraints1998 年出版145 页ISBN：0792393710
AN ALGEBRAIC INTRODUCTION TO MATHEMATICAL LOGIC
DONALD W.BARNES JOHN M.MACK2222 年出版121 页ISBN：0387901094
PROGRAMMABLE LOGIC CONTROLLERS：AN INTRODUCTION THIRD EDITION
W.BOLTON2003 年出版240 页ISBN：9780750659864
MATHEMATICAL LOGIC AN INTRODUCTION TO MODEL THEORY
A.H.LIGHTSTONE1977 年出版0 页ISBN：
MATHEMATICAL LOGIC AN INTRODUCTION T OMODEL THEORY
A.H.LIGHTSTONE1977 年出版338 页ISBN：0306308940
The logic of social action : an introduction to sociological analysis
Raymond Boudon ; translated by David Silverman1981 年出版190 页ISBN：
