The Work
Löb's theorem
The details
The Author
Martin Löb
The offers