Algebra and Logic
Article
Kahle,R
Stud Logica
2007
87
44987
369-374
10.1007/s11225-007-9093-2
Freek Wiedijk (Ed.), The Seventeen Provers of the World
NOVA Math > NOVA Math > NOVA Math Publications > Freek Wiedijk (Ed.), The Seventeen Provers of the World