Mordechai Ben-Ari. Mathematical Logic for Computer Science. SV, 2nd edition, 2001.
 Jon Barwise and John Etchmendy. Language, Proof, and Logic. CSLI, 2000.
 Michael Huth and Mark Ryan. Logic in Computer Science: Modelling and reasoning about systems. CUP, 2004.
 J.B. Almeida, M.J. Frade, J.S. Pinto, and S. Melo de Sousa. Rigorous Software Development, An Introduction to Program Verification, volume 103 of Undergraduate Topics in Computer Science. Springer-Verlag, first edition, 307 p. 52 illus. edition, 2011.
 D. van Dalen. Logic and Structure. 5th Edition, Springer Verlag, Berlin, Germany, 2013.