Parallel and constraint logic programming an introduction to logic
parallelism and constraints1998 年出版145 页ISBN:0792393710
A Programming Logic With An Introduction To The PL/CV Verifier
1978 年出版389 页ISBN:0876267266
Introduction To Flowcharting and Computer Programming Logic
1972 年出版248 页ISBN:088236345X
PROGRAMMING LOGICS AN INTERODUCTION TO VERIFICATION AND SEMANTICS
RAYMOND D.GUMB2222 年出版334 页ISBN:
THE ART OF REASONING AN INTRODUCTION TO LOGIC AND CRITICLA THINKING FOURTH EDITION
DAVID KELLEY2014 年出版605 页ISBN:9780393930788