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