"Discrete Structures,Logic And Computability" - Hein (James L)
20