Reading group

I am the organizer of a logic reading group, founded in 2019, at the Graduate Center, City University of New York.

Previous years included work on Gödel’s incompleteness theorems, recursion theory, set theory, and type theory.

If you are interested in joining, drop me an email.