Logic by Richard F. Clarke