ブラウアーの命題様相体系Bにかんする幾つかの問題

内田 種臣
1977 Kagaku tetsugaku  
doi:10.4216/jpssj.10.55 fatcat:vyjbjsopezeepkbtq5gllhbkeq