Symbolic logic and mechanical theorem proving - Chang, Chin-Liang; Lee, Richard Char-Tung (N. Y. Academic Press, 1973)
Bibl. : P. 309-324
Keywords: Logic; Symbolic -- Mathematical