Truth-Functional Logic - 9780367426125