Logic for mathematicians - Rosser, J B (MCGRAWHILL BOOKS CO NEW YORK, 1953)
Keywords: MATHEMATICS