| Магазин, где можно не только купить, но и продать книги |
|
Главная | Регистрация | Мой LibeX | Форум | Обратная связь | Помощь |
Каталог: Наука, образование »•» Математика, статистика
АннотацияЭта книга известного шведского ученого, профессора Стокгольмского университета Дага Правица была впервые опубликована в Стокгольме в 1965 году. Основной результат книги - строго конструктивное доказательство теоремы о нормальной форме натуральных выводов для классической, интуиционистской и минимальной логик. Доказательство базируется на так называемом принципе инверсии, согласно которому правило удаления логического знака, по существу, является обращением правила введения этого знака.
|
|
Реклама на сайте | Статистика | Ссылки | $1=99.94 руб | 28 Nov 2024 03:22 | © LibeX |
|