CS389L: Automated Logical Reasoning Lecture 1
Natural Deduction Calculus for Quantified Propositional Linear
Set Theory - UVic Math
A General Proof Method for ... without the Barcan Formula.*
Adequate set of connectives
Complexity Results for Checking Equivalence of Stratified Logic
Divisibility Some Properties of Divisibility Prime Numbers Basic
Divide and congruence: From decomposition of modal formulas to preservation of branching and eta-bisimilarity
Divide and congruence applied to eta-bisimulation
Distributed Knowledge
Dissolving the Scandal of Propositional Logic?
Disjunctive Normal Form
Discrete Structures & Algorithms Propositional Logic
Discrete Structure
Discrete Maths - Department of Computing | Imperial College London
Discrete Mathematics: Chapter 2, Predicate Logic
Discrete Mathematics, Chapter 5: Induction and Recursion
Discrete mathematics I - Logic
Discrete mathematics I
Discrete Mathematics for Computer Science Some Notes
