@inproceedings{CTT100542779,
  author = {RYO KASHIMA},
  title = {中間命題論理の公理に関する問題},
  booktitle = {日本数学会数学基礎論分科会アブストラクト集},
  year = 2006,
}