Theorem Proving in Higher Order Logics - Hurd, Joe (Springer Berlin Heidelberg, 2020)