bio | website | w-d.org |
---|---|---|

location | South Park, Colorado | |

age | 29 | |

visits | member for | 3 years, 9 months |

seen | Apr 9 at 16:11 | |

stats | profile views | 159 |

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.

-1

votes

3

answers

1

kviews

39

votes

9

answers

4

kviews