Discrete Structures Logic and Computability - Hein, James L (USA Jones and Bartlett Publishers)
Includes bibliography and index
3
Keywords: Comutable Functions; Data Structures -- computer sciences