2009-09-14から1日間の記事一覧

とりあえず以下を注文して確保しておきます。 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…