Research Interests

Proof Theory

Researchers with "Proof Theory" in Research Interests

  • Okada Mitsuhiro
    Keio University
    Faculty of Letters Professor Emeritus
  • Takao Inoue
    Yamato University
    Faculty of Informatics Professor (Full)
  • Takashi Nagashima
    一橋大学
  • Noriko Arai
    National Institute of Informatics
    Information and Society Research Division Professor
  • KOBAYASHI SATOSHI
    Kyoto Sangyo University
    京都産業大学 情報理工学部 情報理工学科 Professor
  • Naohi Eguchi
    Chiba University
    Faculty of Science Department of Mathematics and Informatics JSPS postdoctoral fellow
  • Yuki Nishimuta
  • Sohei Iwata
    Aichi Gakuin University
    Division of Liberal Arts and Sciences 講師
  • Takuro Onishi
    Kyoto University
    Graduate School of Letters 特定准教授
  • Ryota Akiyoshi
    Keio University
    Global Research Institute Project Assistant Professor
  • Toshiyasu Arai
    The University of Tokyo
    Graduate School of Science Prof.
  • Masako Takahashi
    旧所属 国際基督教大学 教養学部 理学科
    教授,名誉教授
  • Satoru Niki
    Ruhr University Bochum
    Department of Philosophy I Wissenschaftlicher Mitarbeiter
To Research Interests list