Logic by Richard Frederick Clarke & Richard Freder Clarke