Mathematical logic is a broad area encompassing proof theory, computability theory, set theory and model theory. These areas are joined by their focus on the interplay between expressibility, definability and provability.
Mathematical logic is a broad area encompassing proof theory, computability theory, set theory and model theory. These areas are joined by their focus on the interplay between expressibility, definability and provability.