Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kahle, R. Freek Wiedijk (Ed.), The Seventeen Provers of the World. Stud Logica 87, 369–374 (2007). https://doi.org/10.1007/s11225-007-9093-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-007-9093-2