Logic in Arithmetic by William F. Scott