Jeremy AvigadJeremy Avigad is Professor in the Department of Philosophy and the Department of Mathematical Sciences at Carnegie Mellon University. His research interests include mathematical logic, formal verification, automated reasoning, and the philosophy and istory of mathematics. He is the Director of the Charles C. Hoskinson Center for Formal Mathematics at Carnegie Mellon University. Read More Read Less
An OTP has been sent to your Registered Email Id:
Resend Verification Code
Hi! I'm Vidya, your virtual assistant.
Need a book recommendation, help with your order or support with any query? I’m here to assist you.
