Гильберт и Гедель

Формализм Гильберта. Логика первого порядка. Генцен. Теоремы Геделя. Цитаты по книге: Логика: учебник для бакалавров. – Москва: Проспект, 2015