QR code of document
517.1(03)
С 74
Справочная книга по математической логике : в 4-х ч.: Пер. с англ. / Под ред. Дж. Барвайса. - М. : Наука, 1982 - .
Ч. 4 : Теория доказательств и конструктивная математика : справочник / Под ред. В. П. Оревкова. - М., 1983. - 392 с. - 2.10 р.
Перевод заглавия: Handbook of mathematical logic
| УДК | 517.1(03) |
Кл.слова (ненормированные):
модули -- ультропроизведения -- модельная -- полнота -- однородные -- множества -- инфинитезимальный -- анализ -- поверхности -- доктрина -- категории
Доп.точки доступа:
Барвайс, Дж. \ред.\
Оревков, В.П. \ред.\
Экземпляры всего: 1
Книгохранение (1)
Свободны: Книгохранение (1)