- Logic, Symbolic and mathematical--Congresses (10)
- Computer science--Congresses (8)
- Computer logic--Congresses (6)
- Computer science--Mathematics (1)
- Computer science--Mathematics--Congresses (1)
- Computers--Congresses (1)
- Electronic data processing--Congresses (1)
- Logic, Symbolic and mathematical (1)
- 総記--情報学．情報科学 (1)