Symbolic logic and mechanical theorem proving - Chin-Liang Chang Richard Char-Tung Lee (London Academic Press, 1973)
Text book collection( TBL )
Keywords: Computer science; Symoblic logic