Matthew Wampler-Doty
|
Registered User
|
I am working on my MSc in Logic at the ILLC at Universiteit van Amsterdam. I am interested in automated deduction, formal logic, proof theory, computation, abstract algebra, game theory, and category theory.
|
|
25
|
Votes |
24 |
1 |
|
13
|
Tags |
|
lo.logic× 4 proof-assistant× 2 metamathematics× 2 set-theory proof-theory math-philosophy ct.category-theory constructive computability-theory cartesian-closed |
bourbaki big-list arithmetic |
|
8
|
Badges |

