He introduced the concepts of completeness and consistency in a paper on truth-table methods which developed from the work of his doctoral thesis.
Ta tutvustas mõistete täielikkuse ja järjekindluse raamatu tõde laua meetodeid, mis arenenud tööd oma doktoriväitekirja.