Introduction to logic - Bello, A. G. A. (Ibadan, 2000)
Keywords: Computer