MATHEMATICAL LOGIC

The Handbook of Mathematical Logic in 1977 makes a rough division of contemporary mathematical logic into four areas:

• set theory
• model theory
• recursion theory, and
• proof theory and constructive mathematics (considered as parts of a single area).