COMPLETENESS OF THE RANDOM GRAPH
Completeness of the predicate calculus
Completeness of Propositional Logic Truth Assignments and Truth
Completeness of calculii for axiomatically defined classes of algebras
Completeness in modal logic - Lund University Publications
Completeness and Decidability of a Fragment of Duration Calculus
Completeness - OSU Department of Mathematics
Complete Sequent Calculi for Induction and Infinite Descent
Competitive markets (short run)
Comparison of Different Approaches to Automated Verification of
Comparing Constructive Arithmetical Theories Based - Math
Compactness Theorem for First-Order Logic
compactness slides
Compactness
Communication Model
Comments on the use of the pumping lemma for regular languages
comments on the logic of constructible falsity (strong negation)
Comments on predicative logic
Commensurability
Combining Paraconsistent Logic with Argumentation
Combining linear-time temporal logic with