Augusto, Luis M: Computational Logic