Classical first-order predicate logic This is a powerful extension
Classical First-Order Logic Introduction
Classical BI - UCL Computer Science
Classical and Intuitionistic Models of Arithmetic
classden
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
Discrete Mathematics - Lyle School of Engineering
