An algebraic introduction to mathematical logic - Barnes, Donald W (Springer Verlag, 1975)
Bibliografía: p. 115