I am the organizer of a logic reading group at the Graduate Center. In the Fall ’23 semester, we are working on higher-order logics.

Meetings are on Friday from 3 p.m. at the Philosophy Department of the Graduate Center.

If you are interested, drop me an email.