rosses,john barkley,1907

logic for mathematicians rosser,j. b. - 1st.ed. | N.Y. McGraw-Hill 1953