 Beginning Model Theory: The Completeness Theorem and Some Consequences (Oxford Logic Guides) by Jane Bridge, 197707
 Mathematical Logic : A course with exercises  Part I  Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems by Rene Cori, Daniel Lascar, 20001109
 Polynomial Completeness in Algebraic Systems by Kalle Kaarli, Alden F. Pixley, 20000721
 The Mathematics of Logic: A Guide to Completeness Theorems and their Applications by Richard W. Kaye, 20070730
 Some abstract formulations of the completeness theorem of Godel (Preprints in mathematics and the mathematical sciences) by William Bennewitz, 1972
 A COMPLETENESS THEOREM IN MODAL LOGIC In The Journal of Symbolic Logic Vol. 24, No. 1, March 1959 pp. 114 and Abstracts of DISTINGUISHED CONSTITUENTS, SEMANTICAL ANALYSIS OF MODAL LOGIC, THE PROBLEM OF ENTAILMENT In The Journal of Symbolic Logic Vol. 24, No. 4, Dec. 1959 pp. 323324. by Saul A. KRIPKE, 19590101
 Metatheorems: Entscheidungsproblem, Gödel's Completeness Theorem, Compactness Theorem, Gödel's Incompleteness Theorems
 Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems (Pt.1) by Rene Cori, Daniel Lascar, 20001109
 Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems (Synthese Library) by Roman Murawski, 20101102
 Kolmogorov complexity: English language, Complexity, Turing completeness, Godel´s incompleteness theorems, Halting problem, Grammar induction, List of ... in theoretical computer science.
 Ultraproduct: Mathematics, Abstract Algebra, Model Theory, Mathematical Logic ,Structure, Hyperreal Number, Gödel's Completeness Theorem NonStandard Analysis
 Mathematical Logic: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems by Rene Cori, 20000101
 Completeness theorems for the systems E of entailment and Eq of entailment with quantification (U.S. Office of Naval Research. Group Psychology Branch. Technical Report) by Alan Ross Anderson, 1959
 OBJ as a theorem prover (Technical report. SRI International. Computer Science Laboratory) by Joseph Goguen, 1988
