- Logic, Symbolic and mathematical (9)
- Logic--Addresses, essays, lectures (6)
- Artificial intelligence (5)
- Logic programming (5)
- 電子装置の応用 (4)
- Computer science (3)
- Electronic digital computers--Programming (2)
- Grammar, Comparative and general--Syntax (1)
- Language and logic (1)
- Languages--Philosophy (1)
- Linguistic analysis (Linguistics) (1)
- Logic, Symbolic and mathematical--Congresses (1)
- logic, Symbolic and mathematical (1)
- 人工知能．パターン認識 (1)
- 哲学各論--論理学．弁証法．方法論 (1)
- 総記--情報学．情報科学 (1)