Для корректной работы этого сайта вам необходимо включить Javascript. Зайдите в настройки браузера и активируйте Javascript.
Книга содержит основные труды автора по теории логического вывода, в том числе монографию "Формальный вывод и логические исчисления".
Математика > Основания математики. Математическая логика
Философия > Логика