Profile Information

Affiliation
(名誉教授), 一橋大学
Degree
Master of Science(Tokyo Kyoiku Univ.)

Researcher number
00017526
ORCID ID
 https://orcid.org/0000-0001-9125-8469
J-GLOBAL ID
201101088075113995
researchmap Member ID
B000001894

External link

NAGASHIMA Takashi was graduated from Tokyo Kyoiku University though he was not yet graduated from elementary school. He studied mathematical logic, completed the master's course and got a master's degree at Tokyo Kyoiku University. His research interests are mathematical logic (mainly proof theory) and applications of mathematical logic.

Major Papers

  17

Misc.

  17

Books and Other Publications

  1

Major Presentations

  1

Professional Memberships

  2