Lógica para matemáticos - Hamilton, A. G., (Paraninfo, 1981)
Título original: Logic for mathematicians