По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "МИФ".
Using the button above you can buy paper versions of this book and similar books on the website of the "MIF" online store.
Реклама. ООО «МИФ», ИНН: 7703809969, erid: LatgBY5SL.
Автор:Карри Х.
Название:Основания математической логики
Издательство:М.: Мир
Год:1969
Страниц:568
Формат:djvu
Размер: 6.33 Мб
Для сайта:
Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
Купить бумажную книгу или электронную версию книги и скачать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "МИФ".
Using the button above you can buy paper versions of this book and similar books on the website of the "MIF" online store.
Реклама. ООО «МИФ», ИНН: 7703809969, erid: LatgBY5SL.