Lógica para matemáticos - Hamilton, A. G., (Colección Lógica y teoría de la ciencia, 1981)