Rosser, John Barkley Logic for mathematicians - New York : McGraw-Hill, 1953 - 530 p. : il. - International series in pure and applied mathematics . Subjects--Topical Terms: LOGICA SIMBOLICA Y MATEMATICA Dewey Class. No.: 511.3 / R828