Text this: A computational logic / Robert S. Boyer and J. Strother Moore.