Main Bibliography |
[1] Mordechai Ben-Ari. Mathematical Logic for Computer Science. SV, 2nd edition, 2001. [2] Jon Barwise and John Etchmendy. Language, Proof, and Logic. CSLI, 2000. [3] Michael Huth and Mark Ryan. Logic in Computer Science: Modelling and reasoning about systems. CUP, 2004. [4] 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. [5] D. van Dalen. Logic and Structure. 5th Edition, Springer Verlag, Berlin, Germany, 2013.
|