Mathematical Logic For Computer Science - Ben- Ari, Mordechai (New Delhi Ane Books, 2008)
Keywords: Computer Science; Mathematical Logic, Computer Science