Konrad Slind

• Notes on Computation Theory
• Theorem Proving in Higher Order Logics