Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008943608/catalog> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- catalog contributor b12560806.
- catalog contributor b12560807.
- catalog contributor b12560808.
- catalog created "2002.".
- catalog date "2002".
- catalog date "2002.".
- catalog dateCopyrighted "2002.".
- catalog description "1. Enumerability -- 2. Diagonalization -- 3. Turing Computability -- 4. Uncomputability -- 5. Abacus Computability -- 6. Recursive Functions -- 7. Recursive Sets and Relations -- 8. Equivalent Definitions of Computability -- 9. A Precis of First-Order Logic: Syntax -- 10. A Precis of First-Order Logic: Semantics -- 11. The Undecidability of First-Order Logic -- 12. Models -- 13. The Existence of Models -- 14. Proofs and Completeness -- 15. Arithmetization -- 16. Representability of Recursive Functions -- 17. Indefinability, Undecidability, Incompleteness -- 18. The Unprovability of Consistency -- 19. Normal Forms -- 20. The Craig Interpolation Theorem -- 21. Monadic and Dyadic Logic -- 22. Second-Order Logic.".
- catalog description "Includes bibliographical references (p. 348) and index.".
- catalog extent "xi, 356 p. :".
- catalog identifier "0521007585 (pbk.)".
- catalog identifier "0521809754".
- catalog issued "2002".
- catalog issued "2002.".
- catalog language "eng".
- catalog publisher "Cambridge ; New York : Cambridge University Press,".
- catalog subject "511.3 21".
- catalog subject "Computable functions.".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "QA9.59 .B66 2002".
- catalog subject "Recursive functions.".
- catalog tableOfContents "1. Enumerability -- 2. Diagonalization -- 3. Turing Computability -- 4. Uncomputability -- 5. Abacus Computability -- 6. Recursive Functions -- 7. Recursive Sets and Relations -- 8. Equivalent Definitions of Computability -- 9. A Precis of First-Order Logic: Syntax -- 10. A Precis of First-Order Logic: Semantics -- 11. The Undecidability of First-Order Logic -- 12. Models -- 13. The Existence of Models -- 14. Proofs and Completeness -- 15. Arithmetization -- 16. Representability of Recursive Functions -- 17. Indefinability, Undecidability, Incompleteness -- 18. The Unprovability of Consistency -- 19. Normal Forms -- 20. The Craig Interpolation Theorem -- 21. Monadic and Dyadic Logic -- 22. Second-Order Logic.".
- catalog title "Computability and logic.".
- catalog type "text".