Трансрекурсивная теория: Переосмысление пределов вычислимого роста +2
Публикации с тегом Фундамент математики
Атом смысла: как из ничего получить все +22
Фундаментальная математика — теория всего в IT и не только. Теория типов и формализация в Coq +35
