G6del numbering. I think an account of the theory of computation using the A calculus as the primary model would be m u c h more interesting. Nevertheless, the book does succeed in pulling together a collection of topics that are relevantto computer science. T h e long-standing canonical reference¶ does not include the topics of Chapters 8 and 9, for instance, and is generally less concerned with implementation issues (reduction machines, lazy evaluation, and explicit substitutions). W i t h the help of a motivated instructor, this book could b e t h e p r i m a r y t e x t for a n e f f e c t i v e c o u r s e o n t h e A c a l c u l u s . R e v i e w ot~l Systems that Learn (second edition) Authors: Jain, Osherson, Royer, Sharma Publisher: The MIT Press, 1999 Hardeover: ISBN 0-262-100770 317 p a g e s Reviewer: Carl Smith While this n e w edition shares m u c h in c o m m o n with the first edition, it is hardly
/lp/association-for-computing-machinery/review-of-systems-that-learn-second-edition-by-jain-osherson-royer-J4fGDwSh8Z