Codes and Coding (Modules in Mathematics)
Logicomix: An epic search for truth
The Man Who Loved Only Numbers: The Story of Paul Erdos and the Search for Mathematical Truth
Logic (Modules in Mathematics)
Prey