Practical Logic by Benjamin Humphrey Smart