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
MATHEMATICAL LOGIC AN INTRODUCTION TO MODEL THEORY
A.H.LIGHTSTONE1977 年出版0 页ISBN：
The logic of social action : an introduction to sociological analysis
Raymond Boudon ; translated by David Silverman1981 年出版190 页ISBN：
A Programming Logic With An Introduction To The PL/CV Verifier
1978 年出版389 页ISBN：0876267266
THE ART OF REASONING AN INTRODUCTION TO LOGIC AND CRITICLA THINKING FOURTH EDITION
DAVID KELLEY2014 年出版605 页ISBN：9780393930788
