分类:美国逻辑学家