"Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)" - читать интересную книгу автора (Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan)