"Theorem Proving in Higher Order Logics, 9 conf., TPHOLs'96" - читать интересную книгу автора (Joakim von Wright, Jim Grundy, John Harrison)