Поисковый запрос: (<.>K=математическая логика<.>) |
Общее количество найденных документов : 13
Показаны документы с 1 по 13 |
1. 
| 22.16
Д25
Девис, М.
Прикладной нестандартный анализ [Текст] / пер. с англ. С.Ф. Сопрунова; под ред. и с предисл. В.А.Успенского. - М. : Мир , 1980. - 236 с. - 0.90 р.ББК 22.16 + 22.12
Рубрики: Естественные науки--МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ АНАЛИЗ -- математическая логика
Экземпляры всего: 1
ОЗ (1)
Свободны: ОЗ (1)
Найти похожие
|
2.
| 22.1
Д 72
Драгалин, А. Г.
Введение в математическую логику [Текст] / А. Г. Драгалин. - М. : Изд-во МГУ, 1982. - 0.25 р.ББК 22.1
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
математическая логика
Доп.точки доступа:
Колмогоров, А.Н.
Экземпляры всего: 2
ОЗ (2)
Свободны: ОЗ (2)
Найти похожие
|
3.
| 22.12
М 26
Марков , А. А.
Теория алгорифмов [Текст] / А. А. Марков , Н. М. Нагорный. - М. : Наука, 1984. - 432 с. - (Математическая логика и основная математика ). - 3.30 р.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика
Доп.точки доступа:
Нагорный, Н.М.
Экземпляры всего: 1
ОЗ (1)
Свободны: ОЗ (1)
Найти похожие
|
4.
| 22.12
М 34
Математические методы в теории систем. [Текст] : сб. статей / пер. с англ. Н. И. Осетинского ; под. ред. Ю. И. Журавлева. - М. : Мир, 1979. - 328 с. - (Новое в зарубежной науке. Математика. 14.). - Б. ц.ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика
Доп.точки доступа:
Осетинского, Н.И. \пер. с англ.\; Журавлева, Ю.И. \под. ред.\
Экземпляры всего: 1
ОЗ (1)
Свободны: ОЗ (1)
Найти похожие
|
5.
| 22.13
Е 80
Ершов, Ю. Л.
Теория нумераций [Текст] / Ю. Л. Ершов. - М. : Наука , 1977. - 416 с. - (Математическая логика и основная математика ). - Б. ц.ББК 22.13
Рубрики: МАТЕМАТИКА--Логика
Кл.слова (ненормированные):
математическая логика
Экземпляры всего: 2
ОЗ (2)
Свободны: ОЗ (2)
Найти похожие
|
6.
| 22.12
Е 80
Ершов, Ю. Л.
Математическая логика [Текст] : учебное пособие для студентов вузов / Ю. Л. Ершов, Е. А. Палютин. - М. : Наука , 1979. - 320 с. - Б. ц.ББК 22.12
Рубрики: МАТЕМАТИКА--Логика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа:
Палютин, Е.А.
Экземпляры всего: 3
ОЗ (3)
Свободны: ОЗ (3)
Найти похожие
|
7.
| 22.12я72
Н 64
Никольская, И. Л.
Математическая логика : Учебник для техникумов по спец. " Прикл. математика " [Текст] / И. Л. Никольская. - М. : Высш. шк. , 1981. - 127 с. - 0.25 р.ББК 22.12я72
Рубрики: Математика --Математическая логика
Кл.слова (ненормированные):
Математическая логика
Экземпляры всего: 2
ОЗ (2)
Свободны: ОЗ (2)
Найти похожие
|
8.
| 22.12
У 77
Успенский, В. А.
Машина поста [Текст] / В. А. Успенский. - М. : Наука , 1979. - 95 с. - (Попул. лекции по математике). - Б. ц.ББК 22.12
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
Математика -- Математическая логика
Экземпляры всего: 9
ОЗ (9)
Свободны: ОЗ (9)
Найти похожие
|
9.
| 22.12
У 77
Успенский, В. А.
Теорема Геделя о неполноте [Текст] / В. А. Успенский. - М. : Наука , 1982. - 111 с. - (Попул. лекции по математике). - 0.15 р.ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- Теорема - доказательство -- Математическая логика
Экземпляры всего: 2
ОЗ (2)
Свободны: ОЗ (2)
Найти похожие
|
10.
| 22.12
С 74
Справочная книга по математической логике : В 4-х ч. Ч. 1. : Теория моделей [Текст] : пер. с англ. / ред. Дж. Барвайс. - М. : Наука , 1982. - 392 с. - 2.20 р.ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
Математическая логика
Доп.точки доступа:
Барвайс, Дж. \ред.\
Экземпляры всего: 1
ОЗ (1)
Свободны: ОЗ (1)
Найти похожие
|
11.
| 22.12
С 74
Справочная книга по математической логике : В 4-х ч. Ч.2. : Теория множеств [Текст] : пер. с англ. / ред. Дж. Барвайс. - М. : Наука , 1982. - 375 с. - 2.10 р.ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
Математическая логика
Доп.точки доступа:
Барвайс, Дж. \ред.\
Экземпляры всего: 1
ОЗ (1)
Свободны: ОЗ (1)
Найти похожие
|
12.
| 22.12
С 74
Справочная книга по математической логике : В 4-х ч. Ч. 3. : Теория рекурсии [Текст] : пер. с нем. / ред. Дж. Барвайс. - М. : Наука , 1982. - 360 с. - 2.00 р.ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа:
Барвайс, Дж. \ред.\
Экземпляры всего: 1
ОЗ (1)
Свободны: ОЗ (1)
Найти похожие
|
13.
| 22.12
С 74
Справочная книга по математической логике : В 4-х ч. Ч. 4. : Теория доказательств и конструктивная математика [Текст] : пер. с англ. - М. : Наука , 1982. - 391 с. - 2.10 р.ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры всего: 1
ОЗ (1)
Свободны: ОЗ (1)
Найти похожие
|
|
|
Электронный каталог
Стандартный
Главная
Описание
Шлюз Z39.50