Gödel's Theorem A Very Short Introduction by A. W. Moore | Menrva Books