База данных: Книги
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
В12
Л 943
Люксембург, А. А.
Автоматизированное построение математических теорий / А. А. Люксембург. - Москва : КомКнига, 2005. - 32 с. : ил. ; 21,5 см. - (Relata Refero). - 500 экз. - ISBN 5-354-01005-5
Рубрики: Математическая логика--Дедуктивные теории
Кл.слова (ненормированные):
Математическая логика -- дедуктивные теории
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Л 943
Люксембург, А. А.
Автоматизированное построение математических теорий / А. А. Люксембург. - Москва : КомКнига, 2005. - 32 с. : ил. ; 21,5 см. - (Relata Refero). - 500 экз. - ISBN 5-354-01005-5
| ГРНТИ |
Рубрики: Математическая логика--Дедуктивные теории
Кл.слова (ненормированные):
Математическая логика -- дедуктивные теории
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Страница 1, Результатов: 1