とりあえず以下を注文して確保しておきます。 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…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。