Title: Mechanism and computational logic  ISBN