Computation: finite and infinite machines

This book is often used as a textbook in university computer science courses, but its clear explanations and comprehensive coverage make it accessible for motivated individuals undertaking self-study in theoretical computer science.

While Minsky is widely known for his contributions to artificial intelligence, this book provides a foundational look at the theoretical limits of computation, which underpins much of his later work on AI and cognitive science.