- Algorithms--Addresses, essays, lectures (1)
- Computers--Congresses (1)
- Electronic data processing--Congresses (1)
- Groups, Theory of--Congresses (1)
- Gödel's theorem--Congresses (1)
- Logic, Symbolic and mathematical--Addresses, essays, lectures (1)
- Logic, Symbolic and mathematical--Congresses (1)
- Set theory--Addresses, essays, lectures (1)
- 数学 (1)