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