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