Накупить товаров
в интернет-магазине!
в интернет-магазине!
| Главная | Каталог |
» Каталог
» Книги » Технические и естественные науки » Естественные науки » Физико-математические науки » Математика
Каталог товаров:
 |
Функции алгебры логики и классы поста. Математическая логика и основания математики807 руб
Постом. В 1921 году появилось сообщение о крупном исследовании в области алгебры логики, выполненном известным американским математиком Э. Основным результатом этой работы является построение всех подалгебр (замкнутых систем) алгебры логики. Однако только через 20 лет, в 1941 году, автору удалось оформить этот труд в вид монографии "Two-valued iterative systems". Из неё заимствована общая идея доказательства, формулировки многих лемм и некоторые рассуждения. Данный труд, как это отражено в его заглавии, содержит упомянутые результаты Поста и опирается на его работу. 2012. Воспроизведено в оригинальной авторской орфографии издания 1966 года (издательство "Наука"). |