Symbolic logic and mechanical theorem proving
Chang, Chin-Liang.
Lee, Richard Char-Tung.
New York London Academic Press
1973
Bibliographyp.309-324. - Includes index
Logic, Symbolic and mathematical.