Freek Wiedijk The Seventeen Provers of the World, Foreword by Dana S. Scott 3600 2006 3-540-30704-4 The Seventeen Provers of the World Lecture Notes in Computer Science Springer db/conf/tphol/lncs3600.html