"Theorem Proving in Higher Order Logics, 18 conf., TPHOLs 2005" - читать интересную книгу автора (Joe Hurd, Tom Melham)