A computational logic. ACM Monograph Series (1979)

by R S Boyer, J S Moore