Mark Aagaard · 1 obras en el catálogoObrasTTheorem Proving in Higher Order LogicsTheorem Proving in Higher Order Logics