John MacCormick is associate professor of computer science at Dickinson College and a leading teacher, researcher, and writer in his field. His books include What Can Be Computed? A Practical Guide to the Theory of Computation (Princeton). Quentin Cooper is a radio and television presenter, audiobook narrator, event host, trainer, and lecturer in communication and journalism. He is the narrator of...