1.Previous
3.Next

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

Additionally, sometimes the field of computational complexity theory

1.Previous
3.Next