Part of the Prentice-Hall Series in Automatic Computation. Authored by Marvin Minsky who is often called "The Father of A.I." (topical!)
This book is primarily about automata theory and computability. It remains a classic for its philosophical stance that machines have no inherent theoretical limitations not shared by humans, suggesting that the "intellectual processes" of the mind can be modeled mathematically.