Поисковый запрос: (<.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>) |
Общее количество найденных документов : 53
Показаны документы с 1 по 10 |
|
| 1. | Мт IV|8
С 30
Семендяев, К. А.
Эмпирические формулы [Текст] : составлено по Липка и Рэннингу / К. А. Семендяев. - М. ; Л. : Гос. технико-теорет. изд-во, 1933. - 88 с. : ил., табл. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ОСНОВАНИЯ МАТЕМАТИКИ
Перейти: http://www.e-heritage.ru/Book/10073211
Найти похожие
|
| 2. | Мт|116
Ч-11
Чёрч, А.
Введение в математическую логику [Текст] : перевод с английского. Т. 1 / А. Чёрч ; ред. В. А. Успенский. - М. : Изд-во иностранной литературы, 1960. - 486 с. : ил. - 2.34 р.
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа: Успенский, В.А. \ред.\
Найти похожие
|
| 3. | Мт|104
П 76
Применение логики в науке и технике [Текст] / АН СССР ; АН СССР. - М. : Изд-во АН СССР, 1960. - 560 с. : ил. - Библиогр. в конце ст. - 18.00 р., 1.80 р.
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа: Таванец, Н.В. \ред.\; АН СССР
Найти похожие
|
| 4. | Мт|167
Б 48
Беркли, Э.
Символическая логика и разумные машины [Текст] : перевод с английского / Э. Беркли ; ред. Г. Н. Поваров. - М. : Изд-во иностранной литературы, 1961. - 260 с. : ил. ; 21 см. - Библиогр.: с. 241-252. - 1.03 р.
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- СЧЕТНЫЕ МАШИНЫ
Доп.точки доступа: Поваров, Г.Н. \ред.\
Найти похожие
|
| 5. | Мт|349
Л69
Логика. Автоматы. Алгоритмы [Текст] / М.А. Айзерман, Л.А. Гусев, Л.И. Розоноэр. - М. : Физматгиз, 1963. - 556 с. : ил. ; 21 см. - 1.45 р.ББК Мт I-1 + Мт IX-5.0
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АВТОМАТОВ -- АЛГОРИТМЫ
Доп.точки доступа: Айзерман, М.А.; Гусев, Л.А.; Розоноэр, Л.И.
Найти похожие
|
| 6. | Мт|429
К17
Калужнин, Л. А.
Что такое математическая логика [Текст] / Л.А. Калужнин. - М. : Наука , 1964. - 151 с. : ил. ; 20 см. - 0.21 р.ББК Мт I-2
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Найти похожие
|
| 7. | Мт|422
С88
Стяжкин, Н. И.
Становление идей математической логики [Текст] / Н.И. Стяжкин ; Ин-т философии АН СССР. - М. : Наука , 1964. - 304 с. : ил. ; 20 см. - 0.95 р.ББК Мт I-2
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа: Ин-т философии АН СССР
Найти похожие
|
| 8. | Мт|491
М34
Математическая логика и ее применения [Текст] : сборник статей: перевод с английского / Ред. Э. Нагел, Ред. А.И. Мальцев. - М. : Мир , 1965. - 341 с. : ил. ; 22 см. - 1.65 р.
Доп. тит. л.: Logic, methodology and philosophy of scienceББК Мт I-1.2;082
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- СБОРНИКИ СТАТЕЙ
Доп.точки доступа: Нагел, Э. \ред.\; Мальцев, А.И. \ред.\
Найти похожие
|
| 9. | Мт|613
М34
Математическая теория логического вывода [Текст] : сборник переводов / Ред. А.В. Идельсон, Ред. Г.Е. Минц. - М. : Наука , 1967. - 351 с. : ил. ; 22 см. - (Математическая логика и основания математики). - 1.79 р.ББК Мт I-2
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- СБОРНИКИ СТАТЕЙ
Доп.точки доступа: Идельсон, А.В. \ред.\; Минц, Г.Е. \ред.\
Найти похожие
|
| 10. | Мт|583
С88
Стяжкин, Н. И.
Формирование математической логики [Текст] / Н.И. Стяжкин ; АН СССР. - М. : Наука , 1967. - 508 с. : ил. ; 22 см. - 2.26 р.ББК Мт I-1.2
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа: АН СССР
Найти похожие
|
|
|
|
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
Описание ЭК