On sequent systems of the provability logic R for Rosser sentences

この論文をさがす

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ