Поиск ведется по:
Общее количество найденных документов : 12
| 1-10 11-12 |
1. 517.2
Н731
Новиков, П. С.
Элементы математической логики / П. С. Новиков. - Изд. 2-е, испр. - Москва : Наука, 1973. - 400 с. : ил. - (Математическая логика и основания математики). - Б. ц.
В библиотеке есть издание 1959 г.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика -- основания математики -- элементы математической логики
Экземпляры всего: 2
Mесто хранения: кх (1), аб (1)
Свободны: кх (1), аб (1)
Найти похожие
Н731
Новиков, П. С.
Элементы математической логики / П. С. Новиков. - Изд. 2-е, испр. - Москва : Наука, 1973. - 400 с. : ил. - (Математическая логика и основания математики). - Б. ц.
В библиотеке есть издание 1959 г.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика -- основания математики -- элементы математической логики
Экземпляры всего: 2
Mесто хранения: кх (1), аб (1)
Свободны: кх (1), аб (1)
Найти похожие
2. 512
П395
Плоткин, Б. И.
Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин. - Москва : Наука, 1991. - 448 с. : ил. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6512519.7
Ключевые слова: алгебраическая логика -- универсальная алгебра
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие
П395
Плоткин, Б. И.
Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин. - Москва : Наука, 1991. - 448 с. : ил. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6512519.7
Ключевые слова: алгебраическая логика -- универсальная алгебра
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие
3. 51
Л19
Лакатос, И.
Доказательства и опровержения : Как доказываются теоремы / И. Лакатос ; пер. с англ. И. Н. Веселовского ; Акад. наук СССР. - Москва : Наука, 1967. - 152 с. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: доказательства теорем -- опровержения
Доп.точки доступа: Веселовский, И. Н. \пер.\ --- Академия наук СССР
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
Л19
Лакатос, И.
Доказательства и опровержения : Как доказываются теоремы / И. Лакатос ; пер. с англ. И. Н. Веселовского ; Акад. наук СССР. - Москва : Наука, 1967. - 152 с. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: доказательства теорем -- опровержения
Доп.точки доступа: Веселовский, И. Н. \пер.\ --- Академия наук СССР
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
4. 517.2
М501
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3-е изд. - Москва : Наука, 1984. - 319 с. : ил. ; 22 см. - Библиогр.: с. 296-309. - Алф. указ.: с. 310-317. - Пер. изд. : Introduction to mathematical logic / By Elliott Mendelson. - Princeton, 1964. - 23000 экз.. - (в пер.) : 1.80 р.
В библиотеке есть издание 1976 г.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика
Доп.точки доступа: Кабаков, Ф. А. \пер.\ --- Адян, С. И. \ред.\ --- Mendelson, By Elliott
Экземпляры всего: 4
Mесто хранения: кх (4)
Свободны: кх (4)
Найти похожие
М501
Мендельсон, Эллиот.
Введение в математическую логику / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3-е изд. - Москва : Наука, 1984. - 319 с. : ил. ; 22 см. - Библиогр.: с. 296-309. - Алф. указ.: с. 310-317. - Пер. изд. : Introduction to mathematical logic / By Elliott Mendelson. - Princeton, 1964. - 23000 экз.. - (в пер.) : 1.80 р.
В библиотеке есть издание 1976 г.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика
Доп.точки доступа: Кабаков, Ф. А. \пер.\ --- Адян, С. И. \ред.\ --- Mendelson, By Elliott
Экземпляры всего: 4
Mесто хранения: кх (4)
Свободны: кх (4)
Найти похожие
5. 517.2
Ш477
Шенфилд, Дж.
Математическая логика / Дж. Шенфилд ; пер. с англ. И. А. Лаврова, И. А. Мальцева ; под ред. Ю. Л. Ершова. - Москва : Наука, 1975. - 528 с. : ил. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика
Доп.точки доступа: Лавров, И. А. \пер.\ --- Мальцев, И. А. \пер.\ --- Ершов, Ю. Л. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
Ш477
Шенфилд, Дж.
Математическая логика / Дж. Шенфилд ; пер. с англ. И. А. Лаврова, И. А. Мальцева ; под ред. Ю. Л. Ершова. - Москва : Наука, 1975. - 528 с. : ил. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика
Доп.точки доступа: Лавров, И. А. \пер.\ --- Мальцев, И. А. \пер.\ --- Ершов, Ю. Л. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
6. 51
К23
Карри, Хаскелл Брукс.
Основания математической логики / Х. Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. - Москва : Мир, 1969. - 569 с. : ил. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика -- основания математической логики
Доп.точки доступа: Донченко, В. В. \пер.\ --- Гастев, Ю. А. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие
К23
Карри, Хаскелл Брукс.
Основания математической логики / Х. Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. - Москва : Мир, 1969. - 569 с. : ил. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика -- основания математической логики
Доп.точки доступа: Донченко, В. В. \пер.\ --- Гастев, Ю. А. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие
7. 517
К307
Кац, М.
Математика и логика : Ретроспектива и перспективы / М. Кац, С. Улам ; пер. с англ. Н. И. Плужниковой ; под ред. И. М. Яглома. - Москва : Мир, 1971. - 250 с. - (Современная математика). - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика
Доп.точки доступа: Улам, С. --- Плужникова, Н. И. \пер.\ --- Яглом, И. М. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
К307
Кац, М.
Математика и логика : Ретроспектива и перспективы / М. Кац, С. Улам ; пер. с англ. Н. И. Плужниковой ; под ред. И. М. Яглома. - Москва : Мир, 1971. - 250 с. - (Современная математика). - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика
Доп.точки доступа: Улам, С. --- Плужникова, Н. И. \пер.\ --- Яглом, И. М. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
8. 517.2
К493
Клини, С. К.
Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - Москва : Мир, 1973. - 480 с. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика
Доп.точки доступа: Гастев, Ю. А. \пер.\ --- Минц, Г. Е. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
К493
Клини, С. К.
Математическая логика / С. К. Клини ; пер. с англ. Ю. А. Гастева ; под ред. Г. Е. Минца. - Москва : Мир, 1973. - 480 с. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика
Доп.точки доступа: Гастев, Ю. А. \пер.\ --- Минц, Г. Е. \ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
9. 518
М34
Математическая логика и ее применения : сборник статей / под ред. Э. Нагела ; пер. с англ. под ред. А. И. Мальцева. - Москва : Мир, 1965. - 0 : ил. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика -- сборники статей
Доп.точки доступа: Нагел, Э. \ред.\ --- Мальцев, А. И. \пер., ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
М34
Математическая логика и ее применения : сборник статей / под ред. Э. Нагела ; пер. с англ. под ред. А. И. Мальцева. - Москва : Мир, 1965. - 0 : ил. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика -- сборники статей
Доп.точки доступа: Нагел, Э. \ред.\ --- Мальцев, А. И. \пер., ред.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
10. 51
Л694
Логический подход к искусственному интеллекту : От классической логики к логическому программированию / А. Тейз [и др.] ; пер. с фр. П. П. Пермякова ; под ред. Г. П. Гаврилова. - Москва : Мир, 1990. - 429 с. : ил. ; 21 см. - Библиогр.: с. 411-417 (115 назв.). - Предм. указ.: с. 418-423. - Пер. изд. : Approche logique de l'intelligence artificielle / Andrè Thayse, Pascal Gribomont, Georges Louis. - Paris. - 20000 экз.. - ISBN 5-03-001636-8 (в пер.) : 2.90 р.
ГРНТИ 27.03.19
УДК:510.6007
Ключевые слова: математическая логика -- логическое программирование -- искусственный интеллект -- монографии
Доп.точки доступа: Тейз, Андре --- Грибомон, Паскаль --- Луи, Жорж --- Снийерс, Доминик --- Пермяков, П. П. \пер.\ --- Гаврилов, Г. П. \ред.\ --- Thayse, Andrè
Gribomont, Pascal
Louis, Georges
Экземпляры всего: 3
Mесто хранения: чз (2), зал ППС (1)
Свободны: чз (2), зал ППС (1)
Найти похожие
Л694
Логический подход к искусственному интеллекту : От классической логики к логическому программированию / А. Тейз [и др.] ; пер. с фр. П. П. Пермякова ; под ред. Г. П. Гаврилова. - Москва : Мир, 1990. - 429 с. : ил. ; 21 см. - Библиогр.: с. 411-417 (115 назв.). - Предм. указ.: с. 418-423. - Пер. изд. : Approche logique de l'intelligence artificielle / Andrè Thayse, Pascal Gribomont, Georges Louis. - Paris. - 20000 экз.. - ISBN 5-03-001636-8 (в пер.) : 2.90 р.
ГРНТИ 27.03.19
УДК:510.6007
Ключевые слова: математическая логика -- логическое программирование -- искусственный интеллект -- монографии
Доп.точки доступа: Тейз, Андре --- Грибомон, Паскаль --- Луи, Жорж --- Снийерс, Доминик --- Пермяков, П. П. \пер.\ --- Гаврилов, Г. П. \ред.\ --- Thayse, Andrè
Gribomont, Pascal
Louis, Georges
Экземпляры всего: 3
Mесто хранения: чз (2), зал ППС (1)
Свободны: чз (2), зал ППС (1)
Найти похожие
11. 517.1
Г797
Грэй, Питер.
Логика, алгебра и базы данных / П. Грэй ; пер. с англ. Х. И. Килова, Г. Е. Минца ; под ред. Г. В. Орловского, А. О. Слисенко. - Москва : Машиностроение, 1989. - 359 с. ; 22 см. - Библиогр.: с. 348-358 (131 назв.). - Пер. изд. : Logic, algebra and databases / Peter M. D. Gray. - New York. - 15000 экз.. - ISBN 5-217-00178-X (в пер.) : 1.80 р.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика -- алгебра -- базы данных
Доп.точки доступа: Килов, Х. И. \пер.\ --- Минц, Г. Е. \пер.\ --- Орловский, Г. В. \ред.\ --- Слисенко, А. О. \ред.\ --- Gray, Peter M. D.
Экземпляры всего: 2
Mесто хранения: кх (2)
Свободны: кх (2)
Найти похожие
Г797
Грэй, Питер.
Логика, алгебра и базы данных / П. Грэй ; пер. с англ. Х. И. Килова, Г. Е. Минца ; под ред. Г. В. Орловского, А. О. Слисенко. - Москва : Машиностроение, 1989. - 359 с. ; 22 см. - Библиогр.: с. 348-358 (131 назв.). - Пер. изд. : Logic, algebra and databases / Peter M. D. Gray. - New York. - 15000 экз.. - ISBN 5-217-00178-X (в пер.) : 1.80 р.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика -- алгебра -- базы данных
Доп.точки доступа: Килов, Х. И. \пер.\ --- Минц, Г. Е. \пер.\ --- Орловский, Г. В. \ред.\ --- Слисенко, А. О. \ред.\ --- Gray, Peter M. D.
Экземпляры всего: 2
Mесто хранения: кх (2)
Свободны: кх (2)
Найти похожие
12. 517.2
Ш233
Шапиро, Самуил Иосифович.
Решение логических и игровых задач / С. И. Шапиро. - Москва : Радио и связь, 1984. - 153 с. ; 20 см. - (Кибернетика). - Библиогр.: с. 151 (14 назв.). - Предм. указ.: с. 152. - 15000 экз.. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика -- кибернетика -- логические задачи -- игровые задачи
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
Ш233
Шапиро, Самуил Иосифович.
Решение логических и игровых задач / С. И. Шапиро. - Москва : Радио и связь, 1984. - 153 с. ; 20 см. - (Кибернетика). - Библиогр.: с. 151 (14 назв.). - Предм. указ.: с. 152. - 15000 экз.. - Б. ц.
ГРНТИ 27.03.19
УДК:510.6
Ключевые слова: математическая логика -- кибернетика -- логические задачи -- игровые задачи
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие