"Theorem Proving in Higher Order Logics, 15 conf., TPHOLs 2002" - читать интересную книгу автора (Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar)