A Survey of Mathematical Logic

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; therc 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.