Open menu
John Stanton Denton
Applications of the Herbrand theorem