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