Ebook: A Survey of Mathematical Logic

From the Preface:

of mathematical logic be put forth. As the papers deal with only a few subdomains of the field, I have added from unpublished notes discussions of a number of standard topics and replaced a few papers by somewhat more general descriptions of related matter. The result is the present book.

As a survey, it is neither complete nor impartial. For example, modal logic, combinatory logic, and many-valued logic are not considered at all. More serious omissions are any adequate account of more recent works on recursive functions and on intuitionism, two of the subjects which are of the greatest current interest among working mathematical logicians. But these two fields are in the midst of rapid developments; there seems to be no choice but to follow new discoveries as they come out. In a different direction, works not easily accessible to me have not been adequately dealt with.