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