- Müller, G. H. (Gert Heinz), 1923- (6)
- International Summer Institute and Logic Colloquium (2)
- Logic Colloquium (2)
- Müller, Gert Heinz, 1923- (2)
- Sacks, Gerald E., 1933- (2)
- Ambos-Spies, K. (Klaus) (1)
- Diller, Justus (1)
- Ebbinghaus, Heinz-Dieter, 1939- (1)
- ISILC Proof Theory Symposium (1)
- Logic Symposia (1)
- Oberschelp, A (1)
- Potthoff, Klaus (1)
- Richter, Michael M., 1938- (1)
- Schütte, K. (Kurt) (1)
- Scott, Dana S. (1)
- 柘植, 利之(1926-) (1)
- 竹内, 外史(1926-) (1)