logic for mathematicians rosser,j. b. - rosses,john barkley,1907 (1st.ed. | N.Y. McGraw-Hill, 1953)