Home/Crosswords/WSJ/Symbolic logician George