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