- Logic, Symbolic and mathematical--Congresses (12)
- Model theory--Congresses (3)
- Set theory--Congresses (3)
- 数学 (2)
- Categories (Mathematics)--Congresses (1)
- Computable functions--Congresses (1)
- Lambda calculus--Congresses (1)
- Logic, Symbolic and mathematical--Addresses, essays, lectures (1)
- Proof theory--Congresses (1)
- 幾何学 (1)
- 記号論理学 (1)