中图分类法:	O141.2 版次：
题名:	The seventeen provers of the world / / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2006.
载体形态:	xvi, 157 p. : ill. ; 24 cm.
主题词:	Proof theory Data processing.
主题词:	Algebra Computer programs.
主要责任者:	Wiedijk, Freek,