Table of contents for Computability and logic.


Bibliographic record and links to related information available from the Library of Congress catalog


Information from electronic data provided by the publisher. May be incomplete or contain other coding.


Counter
Part I. Computability Theory: 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
Part II. Basic Metalogic: 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
Further topics: 19. Normal forms
20. The Craig interpolation theorem
21. Monadic and dyadic logic
22. Second-order logic
23. Arithmetical definability
24. Decidability of arithmetic without multiplication
25. Non-standard models
26. Ramsey's theorem
27. Modal logic and provability.


Library of Congress subject headings for this publication: Computable functions, Recursive functions, Logic, Symbolic and mathematical