Symbolic logic and mechanical theorem proving
By: Chin-Liang Chang, Richard Char-Tung Lee.
Contributors: Lee, Richard Char-Tung.
Series: Computer science and applied mathematics
Publisher: Academic Press
Published: 1973
Place of publication: Boston; London
Language: eng
Number of pages: 331
Subjects: Logic, Symbolic and mathematical.
Notes: Bibl.p.309-324. - Index.