Images for Logic for mathematicians Hamilton, A. G.