- Müller, G. H. (Gert Heinz), 1923- (13)
- Lenski, Wolfgang, 1952- (6)
- International Summer Institute and Logic Colloquium (2)
- Logic Colloquium (2)
- Rautenberg, Wolfgang (2)
- Richter, Michael M., 1938- (2)
- Ambos-Spies, K. (Klaus) (1)
- Bernays, Paul, 1888-1977 (1)
- Blass, Andreas R. (1)
- Dalen, D. van (Dirk), 1932- (1)
- Diller, Justus (1)
- Ebbinghaus, Heinz-Dieter, 1939- (1)
- Hinman, Peter G. (1)
- ISILC Proof Theory Symposium (1)
- Kister, Jane E. (1)
- Logic Symposia (1)
- Müller, Gert Heinz, 1923- (1)
- Oberschelp, A (1)
- Potthoff, Klaus (1)
- Sacks, Gerald E., 1933- (1)
- Schütte, K. (Kurt) (1)
- Scott, Dana S. (1)
- Troelstra, A. S. (Anne Sjerp) (1)
- 柘植, 利之(1926-) (1)
- 竹内, 外史(1926-) (1)