A logician with a witty and gentlemanly demeanor.