Intro -- Series Page -- Title Page -- Copyright -- Dedication -- Table of Contents -- Foreword -- Acknowledgments -- Introduction -- I: Ground-Truthing -- 1. Studying Computer Scientists -- 2. A First Case Study -- II: Programming -- 3. Von Neumann's Draft, Electronic Brains, and Cognition -- 4. A Second Case Study -- III: Formulating -- 5. Mathematics as a Science -- 6. A Third Case Study -- Conclusion -- Glossary -- References -- Index -- Series List