2018-12-21

I did some exercises out of Leary & Kristiansen’s mathematical logic book.

I also continued reading Peter Smith’s book.

Advertisements