Поисковый запрос: (<.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>) |
Общее количество найденных документов : 53
Показаны документы с 1 по 10 |
|
| 1. | ФТИ
Grzegorczyk, A.
An outline mathematical logic [Text] / A. Grzegorczyk. - Warszawa : Polish Sci. Publ., 1974. - 596 p. : il. - Библиогр.: с. 581-585
ББК Мт I-2
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Найти похожие
| |
| 2. | ФТИ
Игнатьев, Е. И.
В царстве смекалки [Текст] / Е. И. Игнатьев ; ред. М. К. Потопов ; текстологическая обработка Ю. В. Нестеренко. - 2-е изд. - М. : Наука, 1979. - 208 с. : ил
ББК Мт I-2
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКИЕ ЗАДАЧИ
Доп.точки доступа: Потопов, М.К. \ред.\; Нестеренко, Ю.В. \текстологическая обработка.\
Найти похожие
| |
| 3. | ФТИ
Мендельсон, Э.
Введение в математическую логику [Текст] : перевод с английского / Э. Мендельсон; Ред. С.И. Адян. - М. : Наука, 1971. - 320 с. : ил. ; 22 см. - Библиогр.: с. 296-309
На обороте тит. л.: Introduction to mathematical logic. By Elliott Mendelson
ББК Мт I-1.2
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа: Адян, С.И. \ред.\
Найти похожие
| |
| 4. | ФТИ
Мендельсон, Э.
Введение в математическую логику [Текст] : перевод с английского / Э. Мендельсон; Ред. С.И. Адян. - М. : Наука, 1976. - 320 с. : ил. ; 22 см. - Библиогр.: с. 296-309
ББК Мт I-1.2
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа: Адян, С.И. \ред.\
Найти похожие
| |
| 5. | ФТИ
Чёрч, А.
Введение в математическую логику [Текст] : перевод с английского.
Т. 1 / А. Чёрч ; ред. В. А. Успенский. - М. : Изд-во иностранной литературы, 1960. - 486 с. : ил.
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа: Успенский, В.А. \ред.\
Найти похожие
| |
| 6. | ФТИ
Перельман, Я. И.
Веселые задачи [Текст] / Я.И. Перельман; худ. А. Л. Бондаренко. - М. : АСТ : Астрель, 2005 . - 287 с.. - (Занимательная наука ). - ISBN 5-17-020460-4.
ББК Ф I-1;076.1 МТ I-1;076.1 МТ I-2;076.1
Рубрики: ФИЗИКА
Кл.слова (ненормированные):
физика -- математика -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа: Бондаренко, А.Л. \худ.\
Найти похожие
| |
| 7. | ФТИ
Хоар, Ч. Э.Р.
Взаимодействующие последовательные процессы [Текст] : пер. с англ. / Ч.Э.Р. Хоар; Ред. А.П. Ершов. - М. : Мир, 1989. - 264 с. : ил. ; 21 см. - Библиогр.: с. 254 - Предм. указ.: с. 259-262
ББК Мт IX-5.1
Рубрики: Математика
Кл.слова (ненормированные):
СИСТЕМНОЕ ПРОГРАММИРОВАНИЕ -- ТЕОРЕТИЧЕСКАЯ ИНФОРМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп.точки доступа: Ершов, А.П. \ред.\
Найти похожие
| |
| 8. | ФТИ
Реньи, А.
Диалоги о математике [Текст] / А. Реньи; пер. с англ. Д.Б. Гнеденко, Е.А. Масловой; под ред. Б.В. Гнеденко. - 2-е изд., стереотип. - М. : Едиториал УРСС, 2004. - 96 с.. - ISBN 5-354-00536-1.
ББК Мт I-1
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
ОСНОВАНИЯ МАТЕМАТИКИ -- ФИЛОСОФИЯ -- ИСТОРИЯ НАУКИ -- ПОПУЛ. МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ИСТОРИЯ МАТЕМАТИКИ -- МЕТОДОЛОГИЯ НАУКИ -- МЕТАФИЗИКА -- ОНТОЛОГИЯ -- ГНОСЕОЛОГИЯ -- ИСТОРИЯ ФИЛОСОФИИ -- НАУКОВЕДЕНИЕ
Доп.точки доступа: Гнеденко, Б.В. \ред.\; Гнеденко, Д.Б. \пер.\; Маслова, Е.А. \пер.\
Найти похожие
| |
| 9. | ФТИ
ФТИ(Ш)
Горбатов, В. А.
Дискретная математика [Текст] : учеб. для студентов втузов / В.А. Горбатов, А.В. Горбатов, М.В. Горбатова. - М. : АСТ ; М. : Астрель, 2003. - 447 с. : ил. - (Высшая школа) ISBN 5-17-019257-6 (АСТ) . - ISBN 5-271-06991-5 (Астрель)
ББК Мт I-2 Мт II-0 Мт VII-2
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЭЛЕМЕНТАРНАЯ ТЕОРИЯ ЧИСЕЛ -- ТЕОРИЯ ГРАФОВ
Доп.точки доступа: Горбатов, А.В.; Горбатова, М.В.
Найти похожие
| |
| 10. | ФТИ
ФТИ(Ш)
Андерсон, Дж. А.
Дискретная математика и комбинаторика [Текст] / Дж.А. Андерсон; [пер. с англ. М.М. Беловой]. - М. и др. : Вильямс, 2004. - 960 с. : ил. - Предм.-имен. указ.: с. 942-953. - ISBN 5-8459-0498-6 (рус.).
ББК Мт I-2 Мт II-0 Мт VII-2 Мт XI-4
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЭЛЕМЕНТАРНАЯ ТЕОРИЯ ЧИСЕЛ -- ТЕОРИЯ ГРАФОВ -- МАТЕМАТИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
Доп.точки доступа: Белова, М.М. \пер. с англ.\
Найти похожие
| |
|
|
|
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
Описание ЭК