A Logic Book by Andrews Reath, Oliver A. Johnson & Robert Johnson