Исправление AndreyKl, 13.05.22 19:07 (текущая версия) :
пояснишь? (в частности http://logic.math.msu.ru/wp-content/uploads/plisko/intlog.pdf)
Исходная версия AndreyKl, 13.05.22 19:05:
пояснишь?