Symbolic logic and mechanical theorem proving
LEE(Richard C-T) & CHANG(Chin-Liang)
Symbolic logic and mechanical theorem proving - Boston Academic Press 1973 - xiii p. + 331
Symbolic logic and mechanical theorem proving - Boston Academic Press 1973 - xiii p. + 331