- ホーム
- > 洋書
- > 英文書
- > Philosophy
Full Description
The book is about Gentzen calculi for (the main systems of) modal logic. 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.
-
- 電子書籍
- 夫を社会的に抹殺する5つの方法【フルカ…
-
- 電子書籍
- 魔女の旅々14 GAノベル



