The Complete Proof Theory of Hybrid Systems
The Compactness Theorem for first-order logic
The Compactness Theorem 1 The Compactness Theorem
The Communication Process
the common rules of binary connectives are finitely based
The Coinductive Formulation of Common Knowledge
The Closed World Assumption
The Cellular Automata *0*0*000 Have No Nontrivial
The Bene ts of Relaxing Punctuality1
The Bang-Bang Funnel Controller (long version)
THE AXIOM SCHEME OF ACYCLIC COMPREHENSION keywords
The Axiom of Choice
The Art of Ordinal Analysis
The Arithmetical Hierarchy Math 503
The Arithmetic Operators
The Anti-Foundation Axiom in Constructive Set Theories
THE ABUNDANCE OF THE FUTURE A Paraconsistent Approach to
The absolute proof!
The 12th Delfino Problem and universally Baire sets of reals
thc cox theorem, unknowns and plausible value
Text (PDF format)