Фейс Р. Модальная логика :[Текст] / Фейс Роберт; перевод с английского Ю. А. Петрова; редактор перевода Г. Е. Минц. - Москва: Наука. Главная редакция физико-математической литературы, 1974. - 520 с. - (Математическая логика и основания математики). - Лит.: с. 501. - Имен. указ.: с. 510. - Предм. указ.: с. 514.Отраслевые рубрики: филологические науки, языкознание, общее языкознание, логика Ключевые слова: абстракция, Беккера правило, Бета-Крипке модели, дедуктивный метод, импликация, логика предикатов, модальная логика, модальность, модальные высказывания, модальные исчисления высказыванимй, модели Крипке, погружение систем, предикаты, равенство, свойство Холдена, семантический анализ, системы Льюиса, теорема полноты, формальная импликация
Сигла хранения | Всего экз. | В наличии | Заказано | абонемент | 1 | 1 | 0 |
|