Symbolic logic and mechanical theorem proving - Chang, Chin-lidng (Computer science and applied mathematics,A series of monogra, 1973)