Tem um livro muito bom chamado "Fundamentos Matematicos para Ciencia da Computação", da Judith Gersting, que trata de todos esses assuntos de matemática computacional, e traz exemplos em codigo. Vale a pena. Da um Google ai que vcs encontram as edições mais antigas.
Em resposta a Lógica Booleana na matemática
2