Memoirs of a Proof Theorist: G&ouml;del and Other Logicians