Logic in Practice - 9780367426309