Линдон Р. Заметки по логике / Линдон Роджер; перевод с английского Ю. А. Гастева; под редакцией И. М. Яглома. - Москва: Мир, 1968. - 128 с. - (Современная математика). - Лит.: с. 123. - Имен. указ.: с. 124. - Указ. терм.: с. 124.Отраслевые рубрики: математика; математическая логика Ключевые слова: алгебра высказываний, булева алгебра, высказывания, Геделя теорема о неполноте, Геделя теорема о непротиворечивости, дедукция, категоричность, Крэйга теорема, Левенгейма-Сколема теорема, логика, неразрешимость, предикаты, пропозициональная логика, разрешимость, Тарского теорема, теорема адекватности, теорема компактности, Эрбрана-Генцена теорема
Сигла хранения | Всего экз. | В наличии | Заказано | абонемент | 1 | 1 | 0 |
|