Digital Logic and the Control Unit
Difficulties of the set of natural numbers
Different notions of conuity and intensional models for λ
Die Grundlagen der Arithmetik §§82–83
Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness
Dialectica Interpretations A Categorical Analysis
Diagrams in logic and mathematics - CFCUL
Diagrammatic Reasoning in Separation Logic
Designing Circuits - Department of Computer and Information Science
Design and Analysis of Cryptographic Protocols
Dependent Types In Lambda Cube
Dependence Logic
Department of Mathematics, Jansons Institute of Technology
degrees of recursively saturated models
Definitions that Classify
Definition: A proof is a system of reasoning or argument to convince
Definition - Rogelio Davila
Definition - Industrial Engineering 2011
Definition (model) - UBC Computer Science
Defining liveness.
