Collected Works of Alonzo ChurchAlonzo Church, Tyler Burge, Herbert Enderton, Michael Zeleny · First published 2019Open the Tome
