Jul 22, 2024 descriptive complexity theory: motivation & fagin's theorem Jul 22, 2024 an introduction to computational complexity theory