- Computational complexity (2)
- Formal languages (2)
- Machine theory (2)
- Computable functions (1)
- Functional analysis (1)
- Mathematical analysis, Nonstandard (1)
- Mathematics--1961- (1)
- Recursive functions (1)
- Unsolvability (Mathematical logic) (1)
- 帰納的関数 (1)
- 微積分学．微分学 (1)
- 解析学 (1)