Skip to Content »

Michi’s blog » [MATH198] Lecture 10 (last lecture) posted

[MATH198] Lecture 10 (last lecture) posted

  • December 2nd, 2009
  • 11:17 pm

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

Want your say?

* Required fields. Your e-mail address will not be published on this site

You can use the following XHTML tags:
<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>