Set Theory, Model Theory, and Computability Theory
Wilfrid Hodges · Oxford University Press eBooks · 2009
This chapter surveys set theory, model theory, and computability theory: how they first emerged from the foundations of mathematics, and how they have developed since. There are any amounts of mathematical technicalities in the background, but the chapter highlights those themes that have some philosophical resonance.