|
|
Пишет Misha Verbitsky (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} tiphareth)@ 2014-07-19 13:59:00 |
 |
|
 |
|
|
|
|
|
|
 |
|
 |
| Настроение: |  tired |
| Музыка: | D-Pressiv Nimm Mich Mit EP |
| Entry tags: | bl, hse |
унивалентные основания
Воеводский таки поедет, кстати
http://bogomolov-lab.ru/SHKOLA2014/talk
с лекциями о программировании унивалентных оснований математики
