Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Gentzen Calculi for Modal Propositional Logic
Jazyk
Angličtina
Angličtina
Kniha
Pevná
The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three pa...
Celý popis
Libristo kód: 01976920
?
440 b
440 b
4 398
Kč
včetně DPH
Skladem u dodavatele v malém množství
Odesíláme za 13-16 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
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.§
Informace o knize
Plný název
Gentzen Calculi for Modal Propositional Logic
Autor
Francesca Poggiolesi
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Pevná
Datum vydání
2010
Počet stran
224
EAN
9789048196692
ISBN
9048196698
Libristo kód
01976920
Nakladatelství
Springer
Váha
672
Rozměry
247 x 181 x 21
Kategorie
