other work by church in this area includes set theory with a universal set published in 1971 which examines a variant of zf-type axiomatic set theory and comparison of russell's resolution of the semantical antinomies with that of tarski published in 1976.

Write the above sentence using proper case.
Other work by Church in this area includes Set theory with a universal set published in 1971 which examines a variant of ZF-type axiomatic set theory and Comparison of Russell's resolution of the semantical antinomies with that of Tarski published in 1976.