University of Guyana Library

Normal view MARC view ISBD view

Chang, Chin-Liang, 1937-

Symbolic logical and mechanical theorem proving / Chin-Liange Chang and Richard Char-Tung Lee. - New York : Academic P., 1973. - 331 p. - (Computer science and applied Mathematics) .

LC Class. No.: QA9 Cha