Изменения

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

Математическая логика

76 байт добавлено, 23:33, 14 января 2012

Нет описания правки

[[Лекция 7]]

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

[[1я и 2я теоремы Геделя о неполноте арифметики]]

39

правок

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/16703»