The Collected Works of Alonzo Church by Alonzo Church, Tyler Burge, Herbert B. Enderton

Writings, including articles, letters, and unpublished work, by one of the twentieth century's most influential figures in mathematical logic and …