Vivek Kulkarni’s Theory of Computation is a compact, laser-focused guide that strips the subject down to its conceptual core while keeping a learner’s curiosity constantly engaged. Far from a dry compendium of definitions, this text reads like a map of the limits and possibilities of computation—how machines reason, what problems they can solve, and where formal reasoning meets undecidability.

If you’d like, I can summarize a chapter, list key theorems with short proofs, or suggest exercises to practice these concepts.

Final impression Vivek Kulkarni’s Theory of Computation feels like an invitation: rigorous but humane, concise but rich. It’s the kind of short, well-crafted guide that can turn bewilderment into clarity and curiosity into mastery—perfect for anyone ready to see the deep structure behind what computers can and can’t do.