Help | |
Home - Theorems And Conjectures - Completeness Theorem (Books) |
1-20 of 37 | Next 20 |
click price to see details click image to enlarge click link to go to the store
1. Beginning Model Theory: The Completeness Theorem and Some Consequences (Oxford Logic Guides) by Jane Bridge | |
Hardcover: 152
Pages
(1977-07)
list price: US$17.95 Isbn: 0198531575 Canada | United Kingdom | Germany | France | Japan | |
2. Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems by Rene Cori, Daniel Lascar | |
Paperback: 360
Pages
(2000-11-09)
list price: US$85.00 -- used & new: US$72.56 (price subject to change: see help) Asin: 0198500483 Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Customer Reviews (1)
OK but Hard Interesting topic covered: the resolution so dear to the AI crowd. Unlike most mathematicians, Cori and Lascar have time for Haven't seen Part II, so cannot comment on the treatment of set theory. This is something Mendelson and Machover already do well. ... Read more |
3. Polynomial Completeness in Algebraic Systems by Kalle Kaarli, Alden F. Pixley | |
Hardcover: 376
Pages
(2000-07-21)
list price: US$139.95 -- used & new: US$62.54 (price subject to change: see help) Asin: 1584882034 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
4. The Mathematics of Logic: A Guide to Completeness Theorems and their Applications by Richard W. Kaye | |
Paperback: 216
Pages
(2007-07-30)
list price: US$43.99 -- used & new: US$25.60 (price subject to change: see help) Asin: 052170877X Average Customer Review: Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description Customer Reviews (1)
"Show that any finite poset is a lattice." |
5. Some abstract formulations of the completeness theorem of Godel (Preprints in mathematics and the mathematical sciences) by William Bennewitz | |
Unknown Binding:
Pages
(1972)
Asin: B0007AH9IO Canada | United Kingdom | Germany | France | Japan | |
6. 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 | |
Paperback:
Pages
(1959-01-01)
Asin: B0031B5KHS Canada | United Kingdom | Germany | France | Japan | |
7. Metatheorems: Entscheidungsproblem, Gödel's Completeness Theorem, Compactness Theorem, Gödel's Incompleteness Theorems | |
Paperback: 80
Pages
(2010-05-02)
list price: US$19.99 -- used & new: US$19.99 (price subject to change: see help) Asin: 1155221850 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
8. Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems (Pt.1) by Rene Cori, Daniel Lascar | |
Hardcover: 360
Pages
(2000-11-09)
list price: US$150.00 -- used & new: US$120.00 (price subject to change: see help) Asin: 0198500491 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
9. Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems (Synthese Library) by Roman Murawski | |
Paperback: 404
Pages
(2010-11-02)
list price: US$198.00 -- used & new: US$198.00 (price subject to change: see help) Asin: 9048152984 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
10. Kolmogorov complexity: English language, Complexity, Turing completeness, Godel´s incompleteness theorems, Halting problem, Grammar induction, List of ... in theoretical computer science. | |
Paperback: 88
Pages
(2009-11-24)
list price: US$51.00 -- used & new: US$47.97 (price subject to change: see help) Asin: 6130216874 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
11. Ultraproduct: Mathematics, Abstract Algebra, Model Theory, Mathematical Logic ,Structure, Hyperreal Number, Gödel's Completeness Theorem Non-Standard Analysis | |
Paperback: 96
Pages
(2010-02-03)
list price: US$48.00 Isbn: 6130356870 Canada | United Kingdom | Germany | France | Japan | |
Editorial Review Product Description |
12. Mathematical Logic: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems by Rene Cori | |
Hardcover:
Pages
(2000-01-01)
Asin: B003QDZG5C Canada | United Kingdom | Germany | France | Japan | |
13. 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 | |
Unknown Binding: 27
Pages
(1959)
Asin: B0007HZMXG Canada | United Kingdom | Germany | France | Japan | |
14. OBJ as a theorem prover (Technical report. SRI International. Computer Science Laboratory) by Joseph Goguen | |
Unknown Binding: 39
Pages
(1988)
Asin: B00071FJLW Canada | United Kingdom | Germany | France | Japan | |
15. Relative completeness in algebraic specifications (LFCS report series. University of Edinburgh. Dept. of Computer Science. Laboratory for Foundations of Computer Science) by Lin Huimin | |
Unknown Binding: 28
Pages
(1987)
Asin: B0007BIBI0 Canada | United Kingdom | Germany | France | Japan | |
16. Analytic completeness in SL‚€ (Computer science technical report series. University of Maryland) by Jennifer Drapkin | |
Unknown Binding: 18
Pages
(1986)
Asin: B00071EY8G Canada | United Kingdom | Germany | France | Japan | |
17. An anti-unification aproach [sic] to decide the sufficient completeness of algebraic specifications (Rapport de recherche) by H Comon | |
Unknown Binding: 38
Pages
(1986)
Asin: B0007BY3EG Canada | United Kingdom | Germany | France | Japan | |
18. Sufficient-completeness, quasi-reducibility and their complexity (Technical report. State University of New York at Albany. Dept. of Computer Science) by Deepak Kapur | |
Unknown Binding: 54
Pages
(1987)
Asin: B00071FJDU Canada | United Kingdom | Germany | France | Japan | |
19. Using symmetry and rigidity: A simpler approach to NP-completeness proofs (Tech report) by B. M. E Moret | |
Unknown Binding:
Pages
(1985)
Asin: B00071AG3I Canada | United Kingdom | Germany | France | Japan | |
20. A space searching method for checking the consistencey [sic] and completeness of a rulebase (DISCS publication) by W. W Tsang | |
Unknown Binding: 14
Pages
(1987)
Asin: B0007BN3AQ Canada | United Kingdom | Germany | France | Japan | |
1-20 of 37 | Next 20 |