Функции алгебры логики и классы поста. Математическая логика и основания математики

С.В. Яблонский

Функции алгебры логики и классы поста. Математическая логика и основания математики

бумажная книга
Проверить наличие на складах

Технические характеристики
Издательство:
RUGRAM
ISBN:
978-5-458-28055-6

В 1921 году появилось сообщение о крупном исследовании в области алгебры логики, выполненном известным американским математиком Э. Постом. Однако только через 20 лет, в 1941 году, автору удалось оформить этот труд в вид монографии "Two-valued iterative systems". Основным результатом этой работы является построение всех подалгебр (замкнутых систем) алгебры логики.Данный труд, как это отражено в его заглавии, содержит упомянутые результаты Поста и опирается на его работу. Из неё заимствована общая идея доказательства, формулировки многих лемм и некоторые рассуждения. Воспроизведено в оригинальной авторской орфографии издания 1966 года (издательство "Наука").



Полная версия

Мы принимаем
Подробнее об оплате

1996-2025 © OTALEX