Изменения

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

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

67 байт добавлено, 03:48, 14 января 2012
Нет описания правки
[[Лекция 7 | <<]][[Лекция 9 | >>]]
 
[[Категория: Математическая логика]]
= Геделева нумерация. Арифметизация доказательств =
Proshev
419
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/16614»

Навигация