↓ Skip to main content

Beyond Two: Theory and Applications of Multiple-Valued Logic

Overview of attention for book
Attention for Chapter 3: Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
Altmetric Badge

Citations

dimensions_citation
16 Dimensions