Булос Дж. Вычислимость и логика / Булос Джордж, Джеффри Ричард; перевод с английского В. А. Душского, Е. Ю. Ногиной; под редакцией С. Н. Артемова. - Москва: Мир, 1994. - 396 с.: ил. - Имен. указ.: с. 388. - Предм. указ.: с. 389. - ISBN 5-03-003067-0.Отраслевые рубрики: математика, математическая логика Ключевые слова: арифметика, вычислимость, диагонализация, диадическая логика, доказуемость, Крейга лемма, логика, логика второго порядка, логика первого порядка, машина Тьюринга, модальная логика, монадическая логика, невычислимость, неразрешимость, Рамсея теорема, счетность, теория "Z", формализация
Сигла хранения | Всего экз. | В наличии | Заказано | абонемент | 1 | 1 | 0 | чит. зал | 1 | 1 | 0 |
|