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