Una introducción algebraica a la lógica matemática - Barnes, Donald W (EUNIBAR, 1978)
Título original: An algebraic introduction to mathematical logic
Bibliografía: p. 137