TY - BOOK AU - rosses,john barkley,1907 TI - logic for mathematicians rosser,j. b CY - 1st.ed. | N.Y. McGraw-Hill ER -