Каталог: Наука, образование »•» Математика, статистика

	Ершов, Ю.Л. Определимость и вычислимость Серия: Сибирская школа алгебры и логики
	Издательство: Новосибирск: Научная книга
	Переплет: мягкий; 300 страниц; 1996 г.
	ISBN: 5-88119-007-6; Формат: стандартный
	Язык: русский
	На сайте с 27.02.2017

Аннотация

Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Новое доказательство теоремы Геделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т.д. Для научных работников - специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.

В продаже   Хочу купить

Продавец: wowik (Томск, RU/70 )   Состояние: хорошее; В продаже с 27.01.2020 Условия доставки и оплаты Способы доставки: почтой по предоплате Способы оплаты: банковской картой Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно. При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно. За пределы РФ книги не высылаю Встречи по договоренности исключаются.	Цена 1200 руб

Искать похожие  только название автор и название

Добавить объявление продаю хочу купить

листать