The Seventeen Provers of the World Foreword by Dana S. Scott - Wiedijk, Freek (Springer e-books, 2006)