Gödel's Theorem - A. W. Moore

Very Short Introductions: Brilliant, Sharp, Inspiring Kurt Gödel first published his celebrated…