QR code of document
512.8
М34
Математическая теория логического вывода. Сборник переводов. [Текст]. - М. : [б. и.], 1967. - 351 с. - (Математическая логика и основания математики). - 1 р.79к.
| УДК | 512.8 |
Рубрики: Алгебра
Кл.слова (ненормированные):
Математическая теория логического вывода
Держатели документа:
ЗКГУ
Доп.точки доступа:
Идельсон, А.В.
Минц, Г.Е.
Экземпляры всего: 2
к. (2)
Свободны: к. (2)