Introductory Lectures on Type Theory (2 : Sums and products, propositional logic)

Игра Марио

Просмотров: 706 | Время: 58:51 | Голосов: +1 +1 | Скачать

Скачать клип Introductory Lectures on Type Theory (2 : Sums and products, propositional logic)