symbolic logic and mechanical theorem proving lee,richard char-tung (jt.auth.) - chang,chin-liang (1st.ed. | N.Y. Academic, 1973)