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
Looking for other site content?
Try our Site Search.
