Books in “Logic and Computation in Philosophy”