Matemática discreta y lógica : [una perspectiva desde la ciencia de la computación] - Grassmann, W. K. (Prentice Hall, 1997)