Logic for Mathematicians door Jr. Rosser J. Barkley & Jr.J. Barkley Rosser