| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 22.122 - Ч-50-8
Черч, А.
Введение в математическую логику. Т.1 / А. Черч ; перевод с английского В. С. Чернявского; под редакцией В. А. Успенского. — Москва : Иностранная литература, 1960. — 487 с. — Примеч. — Текст : непосредственный : непосредственный.
Введение в математическую логику. Т.1 / А. Черч ; перевод с английского В. С. Чернявского; под редакцией В. А. Успенского. — Москва : Иностранная литература, 1960. — 487 с. — Примеч. — Текст : непосредственный : непосредственный.
Экземпляры: Всего: 1, из них: ч/з-1 в наличии 1
Подробнее
Авторы: Черч А.
Отраслевые рубрики: математика, математическая логика
Ключевые слова: аксиома бесконечности, аксиома сводимости, бесконечность, вычислительная математика, дедукция, исчисления, исчисления второго порядка, исчисления первого порядка, кванторы, константы, механика, операторы, переменные, постулаты, пропозициальные функции, равенства, сводимость, семантика, синтаксис, суждение, теорема дедукции, теория постулатов, функции
Индексы ББК: 22.122, 87.3, 22.161.62
Представления: Формат MARC21