- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
They address in detail: algebraic logic and set theory, combinatorics and philosophical logic, modal logics with applications to computer science and game theory, and connections between ancient logic systems and modern systems.



