Natural Deduction by Richard T.W. Arthur