RonaldFagin,JosephY.Halpern,RonaldFagin,JosephY.Halpern写的。MIT出版社。全的，但是是chm格式转化过来的。