Keishiki taikei to keisan riron
By: [kenkyū daihyōsha Yamazaki Takeshi]
Series: Sūri Kaiseki Kenkyūjo kōkyūroku -- 1729
Publisher: Kyōto Daigaku Sūri Kaiseki Kenkyūjo
Published: 2011
Place of publication: [Kyoto]
Language: jpn
Number of pages: 177
Other titles: Formal systems and computality theory