Купить бумажную книгу и читать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Читай Город".
Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.
Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: MvGzQC98w3Z1gMq1kx5ACoy5.
Автор: Ершов Ю.Л.
Название: Определимость и вычислимость
Издательство: Новосибирск, Научная книга; М., Экономика
Год: 1996
Формат: DjVu
Размер: 2,21 Mb
Качество: Отсканированные страницы
Для сайта:
Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation.
Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т.д.
Для научных работников — специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.
Купить бумажную книгу или электронную версию книги и скачать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Читай Город".
Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.
Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: MvGzQC98w3Z1gMq1kx5ACoy5.
Дата создания страницы: