Katsumi Sasaki

@Department of Software Engineering
@Faculty of Information Sciences and Engineering
@Nanzan University
Research Interests:
Non-classical logic, Relation between proof theory and proving
Members:
Mathematical Society of Japan(1989-j
American Mathematical Society (1991-)
Association for Symbolic Logic (1991-)
Japan Society of Mathematical Education (2012-)
Mathematics Education Society of Japan (2015-)
Publications:
here
corrections
Link:
‘εŠwwebƒy[ƒW‚ł̏Љξ(“ϊ–{Œκ)
Œ€‹†‹ΖΡΪΧ(“ϊ–{Œκ)
Proof theory and proving 2017(RIMS‹€“―Œ€‹†(ŒφŠJŒ^))
SLACS 2016
Proof theory and SLACS 2015
The 39th MLG meeting 2005
The 38th MLG meeting 2004
SYMPOSIUM ON MATHEMATICAL LOGIC 02 - NAGOYA


sasaki