とりあえず以下を注文して確保しておきます。
- George Boolos The Unprovability of Consistency: An Essay in Modal Logic, Cambridge University Press, 2009 (First Published in 1979)
- Ditto The Logic of Provability, Cambridge University Press, 1995 (First Published in 1994)
とりあえず以下を注文して確保しておきます。