Introduction

Freek Wiedijk. Introduction. In Freek Wiedijk, editor, The Seventeen Provers of the World, Foreword by Dana S. Scott. Volume 3600 of Lecture Notes in Computer Science, pages 1-9, Springer, 2006. [doi]

Abstract

Abstract is missing.