Момогите пожалуйста, завяз полностью и незнаю даже в какую сторону "копать".
Есть например два задания
| Цитата |
Не используя теорему Дедукции доказать через Гильбертов вычисления тип  |
| Цитата |
Используя теорему Дедукции доказать через Гильбертов вычисления тип  |
Очень хотелбы уведеть их решения.
Никак немогу найти никакого толкового объяснения как их нужно решать и с чем их "едят".
Пересмотрел много книг по математической логике, но то так ничего ненашол подходящего в доступной форме изложенного материала чтобы можно прочитать, а зачот уже скоро.
Напишите пожалуйста если кто знает, где про всё это можно в доступной форме прочитать
Очень было-бы хорошо если какаянибудь книга где примеры с ответами.
P.S.
Возможна ошибка при переводе "через Гильбертов вычисления тип"
