"The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science) " - читать интересную книгу автора (Freek Wiedijk)