Lógica para informáticos - Farré Cirera, Rafael ((Computación ; Teoría de la Computación), 2012)