Theorem Proving In Higher Order Logics by J. Hurd