Katsumi Sasaki

Research Interests:

Non-classical logic, Relation between proof theory and proving

Members:

Mathematical Society of Japan
American Mathematical Society
Japan Society of Mathematical Education
Mathematics Education Society of Japan

Publications:

here
corrections

Link:

大学webページでの紹介
研究業績詳細
研究室案内(学内向け)
数学基礎論サマースクール2021
Proof theory and proving 2017(RIMS共同研究(公開型))
SLACS 2016
Proof theory and SLACS 2015
The 39th MLG meeting 2005
The 38th MLG meeting 2004
SYMPOSIUM ON MATHEMATICAL LOGIC 02 - NAGOYA