References for Martin Löb
Articles:
S Wainer, Martin Löb : Logician and proposer of Löb's theorem,
The Guardian
(Tuesday 3 October 2006).
November 2006
MacTutor History of Mathematics
[http://www-history.mcs.st-andrews.ac.uk/References/Lob.html]