Mathematical Logic for Computer Science - Ben Ari, Mordechai (New Delhi Springer (India) Pvt. Ltd., 2006)
Keywords: Mathematics