Title:
Symbolic logic and mechanical theorem proving
Author:
Chang, Chin-Liang
Contributer:
Lee, Richard Char-Tung
Publisher:
London u.a. :Academic Press,
Year of publication:
1973
Pages:
331 S.
Series Statement:
Computer science and applied mathematics
Type of Medium:
Book