- Beginning Model Theory: The Completeness Theorem and Some Consequences (Oxford Logic Guides) by Jane Bridge, 1977-07
- Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems by Rene Cori, Daniel Lascar, 2000-11-09
- Polynomial Completeness in Algebraic Systems by Kalle Kaarli, Alden F. Pixley, 2000-07-21
- The Mathematics of Logic: A Guide to Completeness Theorems and their Applications by Richard W. Kaye, 2007-07-30
- 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. 1-14 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. 323-324. by Saul A. KRIPKE, 1959-01-01
- 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, 2000-11-09
- Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems (Synthese Library) by Roman Murawski, 2010-11-02
- 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 Non-Standard Analysis
- Mathematical Logic: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems by Rene Cori, 2000-01-01
- 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
|
