Logic in elementary mathematics - Exner, Robert M. (McGraw-Hill, 1959)