分類:美國邏輯學家