По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Читай Город".
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
Издательство:Новосибирск: Научная книга
ISBN:5-88119-010-6
Формат: PDF
Размер: 29 Mb
Cтраниц: 327
Язык: Русский
Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота — Морли. Даны аналоги теоремы Раиса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий.
Для интересующихся математической логикой.
Купить бумажную книгу или электронную версию книги и скачать