Q: 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.

A: 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.
++++++++
Q: he remained there for a few months until the death of his friend and teacher and then returned to croton.

A: He remained there for a few months until the death of his friend and teacher and then returned to Croton.
++++++++
Q: morning temperatures will be around 11 c. during the day they will reach a maximum of 19 c. low temperatures at night will be around 9c. we have weak southwesterly winds.

A:
Morning temperatures will be around 11 C. During the day they will reach a maximum of 19 C. Low temperatures at night will be around 9C. We have weak southwesterly winds.
++++++++