Discrete structures,logic,and computability. - Hein James L (New Delhi Jones & Bartlett Learning, 2010)
Keywords: I I C