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