Shōmeiron to fukuzatsusei
By: [kenkyū daihyōsha Suzuki Toshio]
Series: Sūri Kaiseki Kenkyūjo kōkyūroku -- 1832
Publisher: Kyōto Daigaku Sūri Kaiseki Kenkyūjo
Published: 2013
Place of publication: [Kyoto]
Language: jpn
Number of pages: 176
Other titles: Proof theory and complexity
Notes: Cover title.

Includes bibliographical references.

Text in Japanese and English.