A classic account of mathematical logic from a pioneering giant in the field
The classic book that inspired Alan Turing and helped to lay the foundation for theoretical computer science