Books about logic

• J. Shoenfield. Mathematical logic. Addison-Wesley, Reading, MA 1967. a mat 010/158a.
• Herbert B. Enderton. A mathematical introduction to logic. Academic Press, 1997. a mat 010 e/591.
• M. Ben-Ari. Mathematical logic for computer science. Prentice-Hall, 1993. tb 6317
• Samson Abramsky, M. Gabbay and T. Maibaum. Handbooks of logic in computer science and artificial intelligence and logic programming. Clarendon Press, 1992.
• R. D. Dowsing; Victor John Rayward-Smith; C. D. Walter. A first course in formal logic and its applications in computer science. Blackwell Scientific, 1986. a kyb 305 f/978