The First Incompleteness Theorem
THE FEFERMAN-VAUGHT THEOREM We give a self
The Ext2 and Ext3 Filesystems
The Expressive Power of Modal Dependence Logic
The equational theory of N, 0, 1, +, ×, ↑ is decidable, but not finitely
The Emergence of First
The Dual Analysis of Adjuncts/Complements in Categorial Grammar
The dnf simplification procedure
The disjunction introduction rule: Syntactic and semantics
THE DISCRETE COUNTABLE CHAIN CONDITION
The Discovery of the Computer
The Diagonal Lemma Fails in Aristotelian Logic
The Development of Mathematical Logic from Russell to Tarski
The Development of Categorical Logic
The definable criterion for definability in Presburger arithmetic and
The Deduction Rule and Linear and Near
The Dedekind Reals in Abstract Stone Duality
The Dedekind Reals in Abstract Stone Duality
The Decision Problem for Standard Classes
The Cut-Elimination Theorem for Differential Nets with Promotion
The Computer Modelling of Mathematical Reasoning Alan Bundy