1 and 1/2 weeks ago I asked about textbooks about logic for undergraduate
CS students. I got several responses by email, the result of which is
the following list of textbooks.
1 Causey, R. L.
Logic, sets, and recursion, Jones and Bartlett, 1993 (or 1994).
2 Dowsing, R. D. and Rayward-Smith, V. J.
A first course in formal logic and its applications in computer science,
Oxford, 1986, Blackwell.
3 Gallier, J. H.
Logic for computer science: Foundations of automatic theorem proving,
4 Galton, A.
Logic for information technology, 1990, Wiley.
5 Lalement, R.
Computation as logic, 1993, Masson and Prentice Hall.
(Translated from "Logique, Reduction, Resolution", 1990, Masson)
6 Nerode, A.? and Shore, ?., Logic for Applications(?), 1993, Springer-Verlag.
7 Reeves, S. and Clarke, M.
Logic for computer science, 1990, Addison-Wesley.
8 Sch\"oning, U.
Logic for computer scientists, Boston, 1989, Birkhauser.
9 Sperschneider, V. and Antoniou, G.
Logic: A foundation for computer science, 1991, Addison-Wesley.
Only two of the answers expressed opinion about a book, but because
I cannot substantiate the claims, I do not repeat them here.
The use of standard logic texts instead of any ''logic for computer
scientists'' book was suggested in one of the comments.
As an example of such the following book was mentioned.
10 G. Boolos and R. Jeffrey, Computability and logic,
(2nd edition 1980, 3rd edition 1989), Cambridge University Press.