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

Материал из Викиконспекты

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

Версия 21:24, 13 января 2012

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