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).
Discussion