C.-L. Chang and R.C. Lee (1973): Symbolic Logic and Mechanical Theorem Proving
Title:
Symbolic Logic and Mechanical Theorem Proving
Author(s):
C.-L. Chang and R.C. Lee
Year:
1973
Publisher:
Academic Press
Concepts
