共 50 条
- [22] ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods RIGOROUS STATE-BASED METHODS, ABZ 2020, 2020, 12071 : 248 - 254
- [25] THE RELATIONSHIP BETWEEN FORMAL AND TRANSCENDENTAL-METAPHYSICAL LOGIC ACCORDING TO KANT MONIST, 1982, 65 (04): : 437 - 443
- [28] Between instrumental and deterministic logic: theoretical perspectives in research on PROUCA LINHAS CRITICAS, 2022, 28
- [30] A Logic of Appropriation: Practical Relationships between Law and Literature in the Middle Ages LAW AND HUMANITIES, 2011, 5 (01): : 97 - 101