- Logic, Symbolic and mathematical--Bibliography (6)
- Logic, Symbolic and mathematical--Congresses (3)
- Set theory--Congresses (3)
- Axiomatic set theory--Addresses, essays, lectures (1)
- Bernays, Paul, 1888- (1)
- Model theory--Congresses (1)
- Proof theory--Congresses (1)
- Recursion theroy--Congresses (1)
- Schütte, K. (Kurt)--Bibliography (1)