Изменения

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

69 байт добавлено, 02:19, 15 января 2012

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

[[Лекция 7]]

[[Геделева нумерация. Арифметизация доказательств]](Вопросы 14)

[[1я и 2я теоремы Геделя о неполноте арифметики]](Вопросы 15 16)

[[Теория множеств]](Вопросы 17 18 19)

[[Решение задач по логике]]

Анонимный участник