Comment by nils-m-holm

Second edition, with a new chapter on lambda calculus.