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