题名	责任者	出版社	索书号
公理集合论导引	张锦文著	科学出版社	O143/1
算术基础:对于数这个概念的一种逻辑数学的研究	(德)G.弗雷格(Gottlob Frege)著	商务印书馆	O143/2