Математическая теория логического вывода. Математическая логика и основания математики.
Автор:А.В.Идельсон Г.Е.Минц Год: 2012 Издание:
[не указанo] Страниц: 351 ISBN: 9785458442930 Книга представляет собой сборник переводов статей по теории логического вывода. В книге представлены как работы, ставшие уже классическими, так и некоторые работы последних лет.