Introduction to Computing - Explorations in Language, logic and Machines

David has taught a course on Udacity and he has written an excellent book as well...

Introduction to Computing - Explorations in Language, logic and Machines