Logic for mathematicians - Rosser, John Barkley, 1907- (International series in pure and applied mathematics, 1953)