亚里士多德对形式逻辑的贡献不包括下面哪一项？（）
第1题：
《社会科学检索词表》是一部（）。
第2题：
（）是目前全世界使用最广泛的标题表。
第3题：
此题为判断题(对，错)。
第4题：
《中国分类主题词表》包括《分类号-主题词对应表》和《主题词-分类号对应表》。
第5题：
CBM联机主题词表包括以下哪些词表？（）
第6题：
叙词表中字顺显示的部分是（）。
第7题：
只供检索用的词表是（）.
第8题：
亚里士多德发展和完善了柏拉图的方法，最大的贡献是将前人使用的数学推理规律规范化和系统化，从而独立创立了逻辑学，即形式逻辑。()
第9题：
CBM采用下列哪种词表对文献进行分类标引？（）
第10题：
在《中图法》类目和《汉表》叙词对应的基础上编制的而成的分类主题词表是（）。