Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.

Политика конфиденциальности | Согласие на обработку персональных данных

Кузнецов С. Л. - Математическая логика - 5. Гёделева нумерация

0:00:10 1. Гёделева нумерация 0:11:30 1.1.Определение термы и формулы 0:24:35 2. Предикат доказательства 0:51:19 3. Условия доказуемости 1:03:44 4. Подстановки и параметры

Смотрите также