longlivedeath + mathematical-logic   12

Categorical Logic
Записки лекций по категорной логике.
category-theory  categorical-logic  mathematical-logic  computer-science  topoi  type-theory 
april 2009 by longlivedeath

Copy this bookmark:



description:


tags: