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.
|
Click graph with mouse, or enter Start: End:
