He introduced the concepts of completeness and consistency in a paper on truth-table methods which developed from the work of his doctoral thesis.
Siya ipinakilala ang konsepto ng mga kaganapan at pagbabago sa isang papel sa katotohanan-table na mga paraan na kung saan binuo mula sa trabaho ng kanyang mga doktor sanaysay.