Kurt Godel And The Foundations Of Mathematics by Charles L. Harper & Matthias Baaz