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