Back to Results
First PageMeta Content
Logic / Mathematics / Philosophy / Logic in computer science / Automated theorem proving / Formal sciences / Formal methods / Mathematical logic / Proof theory / Automated reasoning / Formal epistemology / Foundations of mathematics


Jeremy Avigad PERSONAL DATA Born January 9, 1968, New York, N.Y. Citizenship: USA. ADDRESS Department of Philosophy Carnegie Mellon University
Add to Reading List

Document Date: 2016-08-20 23:21:44


Open Document

File Size: 146,25 KB

Share Result on Facebook