Logic in Arithmetic door William F. Scott