QR-код документа
51
С74
Справочная книга по математической логике: В 4-х ч. [Текст]. Ч.4. Теория доказательств и конструктивная математика. - М. : [б. и.], 1983. - 392 с. - Пер. с англ. - Библиография в тексте. - 2 р.10к.
| УДК | 51 |
Рубрики: Математика
Кл.слова (ненормированные):
Справочная книга по математической логике
Держатели документа:
ЗКГУ
Доп.точки доступа:
Оревкова, В.П.
Экземпляры всего: 2
чз. (2)
Свободны: чз. (2)