Logics for computer sciecnce - Singh, A (New Delhi : Phi Publication, 2003)
Keywords: Computer EngineeringInformation Technology