Lógica para matemáticos - Hamilton, A. G. (Paraninfo, 1981)
Título original: Logic for mathematicians
Contiene aéndices, conjuntos numerables y no numerables.