he introduced the concepts of completeness and consistency in a paper on truth-table methods which developed from the work of his doctoral thesis.

Write the above sentence using proper case.
He introduced the concepts of completeness and consistency in a paper on truth-table methods which developed from the work of his doctoral thesis.