The Seventeen Provers of the World : Foreword by Dana S. Scott - Freek Wiedijk ((Lecture Notes in Computer Science))