Лекции по математике / Босс В.
QR-код документа
Б 854
Босс, В.
Лекции по математике / В. Босс. - Москва : URSS.
Т. 6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Геделя. - Изд. 3-е, испр. и доп. - 2013. - 207 с. : ил. ; 22 см. - Библиогр.: с. 202-203 (28 назв.). - Предм. указ.: с. 204-207. - ISBN 978-5-397-03412-8 : 237.00 р.
| ГРНТИ | 27.03.02 |
Рубрики: Математическая логика
Вычислительная математика
Кл.слова (ненормированные):
математическая логика -- вычислительная математика -- алгоритмы (матем.) -- теоремы Геделя -- универсальные функции -- нумерации (матем.) -- доказуемость (матем.) -- математическая логика -- Диофантов язык -- десятая проблема Гильберта -- конструктивная математика -- аксиоматические теории -- теория моделей -- степени неразрешимости
Экземпляры всего: 1
ОЧЗ (1)
Свободны: ОЧЗ (1)
Похожие издания по классификации