Symbolic logic and mechanical theorem proving - Chang Chin-Liang; Lee Richard Char-Tung (New York Academic Press, 1973)