Alonzo Church
back to index
this author's page on Open Library
Introduction to mathematical logic
6