Theorem Proving In Higher Order Logics door J. Hurd