Sanjutsu taikei no shōmeiron
Subtitle: RIMS kyōdō kenkyū
Series: Sūri Kaiseki Kenkyūjo kōkyūroku -- 1533
Publisher: Kyōto Daigaku Sūri Kaiseki Kenkyūjo
Published: 2007
Place of publication: [Kyoto]
Language: eng
Number of pages: 102
Other titles: Proof theory of arithmetic