中国现代著名哲学家、逻辑学家金岳霖是把现代逻辑系统传入中国的第一人，他的哲学著作可以同西方哲学史上最优秀的著作媲美。五六十年代他主编的新中国第一部大学教材叫什么名字？