The theory of computer science: A programming approach

Part One: Meta computer science. The abstract machine approach. The limitations of computer science. The functional or programming approach. Evidence in support of Turing's thesis. Part Two: Towards a science of computation. McCarthy's pioneering studies. Making programs reliable. Questions of meaning.