Черч А. Введение в математическую логику. Т.1 / Черч А.; перевод с английского В. С. Чернявского; под редакцией В. А. Успенского. - Москва: Иностранная литература, 1960. - 487 с. - Примеч.Отраслевые рубрики: математика; математическая логика Ключевые слова: аксиома бесконечности, аксиома сводимости, бесконечность, вычислительная математика, дедукция, исчисления, исчисления второго порядка, исчисления первого порядка, кванторы, константы, механика, операторы, переменные, постулаты, пропозициальные функции, равенства, сводимость, семантика, синтаксис, суждение, теорема дедукции, теория постулатов, функции
Сигла хранения | Всего экз. | В наличии | Заказано | чит. зал | 1 | 1 | 0 |
|