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
PROLOG PROGRAMMING:A TUTORIAL INTRODUCTION
CARLTON MCDONALD MASOUD YAZDANI2222 年出版210 页ISBN:0632012463