Una introducción algebraica a la lógica matemática - Barnes, Donald W (EUNIBAR, 1978)