"Theorem Proving in Higher Order Logics, 12 conf., TPHOLs'99" - читать интересную книгу автора (Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery)