Logic For Mathematicians by Alexander Hamilton & A.G. Hamilton