for links to some papers.
This winter (2020) I am teaching Metalogic.
Together with Wesley Holliday, we continue to organize the Berkeley-Stanford Circle in Logic and Philosophy
(see also this page
I can be reached at surname
♠stanford.edu by replacing surname
with my surname and ♠ with @.