The Gallery
Computational complexity theory
Julia Robinson
Michael O. Rabin
1