• Kazuyuki Tanaka
  • Kazuyuki Tanaka
  • Kazuyuki Tanaka

What's New

  • ホームページが新しくなりました.
  • SLS2018. 6-9 December 2018, Tohoku University, Sendai, Japan.
  • CTFM 2019. March 21-27, Wuhan University of Technology, Wuhan, China.

Learn more

Logic Seminar

  • 日時 2018.11.16 (金) / 16:00 - 17:00 ※日にちが変更になりました
  • 講演者 小俣 安彦 氏 (東北大学理学研究科)
  • 題目 2階算術のコード化モデルと実数の集合のRamsey性

Learn more

  • Kazuyuki Tanaka

    Message From Kazuyuki Tanaka

    On this site, you will find information about the research activities carried out by Prof. Kazuyuki Tanaka and his colleagues in Sendai. You may also find some introductory contents on logic (mostly in Japanese).