Discrete mathematics - Ross K A; Wright C R B (New Delhi Prentice-Hall, 1985)
Keywords: Discrete mathematics; Mathematical logic