43 Исчисление Тейта

Общее описание секвенциального исчисления Тейта для логики предикатов первого порядка: - теорема об эквивалентности классическому исчислению Гильберта; - теорема Эрбрана; - теорема об устранении сечения. 💰 Если Вам нравится мой контент, то Вы можете поддержать канал: через сервис Boosty: