He worked on and off throughout his career on mathematical logic, no surprise for a student of Bernays, and he did some early work on planar graphs. He studied valuations and their extensions to polynomial rings.
Siya ay nagtrabaho sa labas at sa kabuuan ng kanyang karera sa matematikal na lohika, walang sorpresa para sa isang mag-aaral ng Bernays, at siya ay ilang unang bahagi ng trabaho sa planar graph. He-aral ng valuations at ang kanilang mga extension sa polinomyal rings.