Chang, Chin-Lian

Symbolic logic and mechanical theorem proving / Chin-Lian Chang and Richard Char-Tung Lee - Boston : Academic Press, c1973. - xiii,331 p. : ill. ; 23 cm. - Computer Science Classics .

Includes index.

0121703509




Logic
Symbolic and mathematical

QA9 / .C483 1973

511.3 / C454s