andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

November 9, 2016

Гомотопическая теория типов и унивалентные основания математики: логика, эпистемология, философия науки

Filed under: Uncategorized — Andrei Rodin @ 1:48 pm


Программа и другая дополнительная информация:


No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress