Setsumeiron to ronri, keisan no kōzō
Subtitle: RIMS kyōdō kenkyū
By: [kenkyū daihyōsha Kurata Toshihiko]
Contributors: Kyōto Daigaku. Sūri Kaiseki Kenkyūjo
Series: Sūri Kaiseki Kenkyūjo kōkyūroku -- 1635
Publisher: Kyōto Daigaku Sūri Kaiseki Kenkyūjo
Published: 2009
Place of publication: Kyoto, Japan
Language: jpn
Number of pages: 133
Other titles: Proof theoretical study of the structure of logic and computation