Title: The seventeen provers of the world
Subjects: Algebra, Proof theory, Data processing, Computer programs, Algebra, data processing