История

Перейти к: навигация, поиск

Геделева нумерация. Арифметизация доказательств

4 сентября 2022

1 сентября 2022

15 ноября 2016

14 января 2012

13 января 2012

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:History/Геделева_нумерация._Арифметизация_доказательств»