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