Logic for mathmaticians - Rosser, J. Barkley (New York McGraw - Hill, 1953)
Keywords: CARDINAL NUMBERS; RELATIONS AND FUNCTIONS; STATEMENT CALCULUS