Bart Jacobs : categorical Logic and type theory

This entry was posted in Philosophie. Bookmark the permalink.