Aho/Ullman Foundations of Computer ScienceThis book has been taken out of print by W. H. Freeman. You are welcome to use it if you like. We believed in 1992 it was the way to introduce theory in Computer Science, and we believe that today. Index The Book | Materials | Gradiance | Errata PDF's of the Book Preface Table of Contents Chapter 1 Computer Science: The Mechanization of Abstraction Chapter 2 Iteration, Induction, and Recursion Cha
