[email protected]
Ще ви отговорим до 24 часа
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Контакт
Как се пазарува?
Помощ
Доставка
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Box Now 6.00 лв
Безплатна доставка със Еконт над 129 лв
Наръчник за пазаруване
Тук сме за Вас!
[email protected]
Моят акаунт
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
▸
Празна :-(
0
Gentzen Calculi for Modal Propositional Logic
Език
Английски език
Английски език
Книга
С твърди корици
The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three pa...
Цялото описание
Код Либристо: 01976920
?
470 b
470 b
366.06
лв
Външен склад в ограничено количество
Изпращаме след 13-16 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50 s until today to provide modal logic with Gentzen calculi. In the third and and final part we analyse new calculi for modal logics, called tree-hypersequent calculi, which were recently introduced by the author. We show in a precise and clear way the main results that can be proved with and about them.§
Информация за книгата
Пълно заглавие
Gentzen Calculi for Modal Propositional Logic
Автор
Francesca Poggiolesi
Език
Английски език
Английски език
Корици
Книга - С твърди корици
Дата на издаване
2010
Брой страници
224
Баркод
9789048196692
ISBN
9048196698
Код Либристо
01976920
Издателство
Springer
Тегло
672
Размери
247 x 181 x 21
Категории
