中图分类法:	TP33-532 版次：
题名:	Isabelle/HOL : [ a proof assistant for higher-order logic /] / ,
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： 2002.
载体形态:	xiii, 218 p. : ill. ; 24 cm.
主题词:	Computer logic.
主题词:	Automatic theorem proving.
主要责任者:	Nipkow, Tobias,