232 followers
RT @georg_logic: あ,この本ですね.Murawski "Recursive Functions and Metamathematics" https://t.co/pPgiliStZs
RT @georg_logic: あ,この本ですね.Murawski "Recursive Functions and Metamathematics" https://t.co/pPgiliStZs
あ,この本ですね.Murawski "Recursive Functions and Metamathematics" https://t.co/pPgiliStZs