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