Ian MackieIan Mackie earned his MSc and PhD degrees in computer science at Imperial College London. He is editor-in-chief of an undergraduate textbook series and co-author of an advanced textbook on proof theory and automated deduction.
An OTP has been sent to your Registered Email Id:
Resend Verification Code