Computability and Logic is a classic because of its accessibility to students without a mathematical background.