[MATH198] Lecture 10 (last lecture) posted

Now up: Lecture 10 with the definition of a topos and a derivation of internal, inutitionistic logic within a topos.

social