2019-02-10

I started writing List of important distinctions in mathematical logic.

I think I read more of Peter Smith’s Gödel book.