Logic by Richard Frederick Clarke