Theorem Proving in Higher Order Logics - Otmane Ait Mohamed - Häftad | Bokus