Карри Х. Б. Основания математической логики / Карри Хаскелл Б.; перевод с английского В. В. Донченко; под редакцией Ю. А. Гастева. - Москва: Мир, 1969. - 568 с.: ил. - Библиогр.: с. 518. - Указ. символов: с. 548. - Указ. терм.: с. 549. - Имен. указ.: с. 563.Отраслевые рубрики: математика; математическая логика Ключевые слова: L-выводимость, L-системы, алгебра высказываний, ассерторическая логическая алгебра, импликация, кванторы, логика, логические алгебры, логические антиномии, модальности, необходимость, отрицание, природа отрицания, реляционная логическая алгебра, сколемовские структуры, теория импликации, теория кванторов, теория необходимости, теория определений, теория отношений, формальные системы, эквивалентность систем, эпитеория
Сигла хранения | Всего экз. | В наличии | Заказано | абонемент | 1 | 1 | 0 | чит. зал | 1 | 1 | 0 |
|