2019-01-31

I went through more of Goldrei’s logic book (e.g. different formulations of soundness and completeness).

I read more of Goldblatt’s Topoi but decided to not continue.

I worked on the page Intended interpretation versus all interpretations.

Advertisements