Memoirs of a Proof Theorist: Godel and Other Logicians - Yasugi Mariko Et Al (World Scientific, 2003)
Keywords: Mathematics