The collected works of Alonzo Church /
Church, Alonzo,1903-1995author.
Burge, Tyler,editor.
Enderton, Herbert B.,editor.
Association for Symbolic Logic.
"Association for Symbolic Logic".
Includes bibliographical references and index.
Logic, Symbolic and mathematical.
Mathematics
Logic, Symbolic and mathematical.
Mathematics