@misc{CTT100594605,
  author = {RYO KASHIMA},
  title = {Proof Theoretical Studies of Classical/Nonclassical Logics},
  year = 1995,
}



@phdthesis{CTT100594605,
  author = {RYO KASHIMA},
  title = {Proof Theoretical Studies of Classical/Nonclassical Logics},
  school = {},
  year = 1995,
}