He worked on mathematical logic solving certain cases of the decision problem for the first order predicate calculus, simplified results of Bernays, and worked on ideas of Post, Gödel and Church .
Siya ay nagtrabaho sa matematikal na lohika solving tiyak na mga kaso ng mga desisyon para sa mga problema sa unang order na totoo calculus, pinagaan ng mga resulta ng Bernays, at nagtrabaho sa mga ideya ng Post, Gödel at Iglesia.