[<<][math][>>][..]
Sat Jun 16 22:22:51 EDT 2018

Intuitionistic logic

Before getting into HoTT, it's probably best to do a little more
constructive logic and category theory first.

https://en.wikipedia.org/wiki/Intuitionistic_logic




[Reply][About]
[<<][math][>>][..]