Symbolic logic and mechanical theorem proving
Chang, Chin-Liang.
Symbolic logic and mechanical theorem proving by Chin-Liang Chang and Richard Char-Tung Lee - New York Academic Press 1973 - xiii, 331p, incl bibl. & ind. - Computer Science and Applied Mathematics, a Series of Monographs and Textbooks .
72-88358
511.3 / N732;1
Symbolic logic and mechanical theorem proving by Chin-Liang Chang and Richard Char-Tung Lee - New York Academic Press 1973 - xiii, 331p, incl bibl. & ind. - Computer Science and Applied Mathematics, a Series of Monographs and Textbooks .
72-88358
511.3 / N732;1