A computational logic - Boyer, Robert S.; Moore, J Strother, 1947- (ACM monograph series., 1979)