- Frege, Gottlob, 1848-1925 (4)
- 前原, 昭二(1927-1992) (4)
- 本橋, 信義(1943-) (4)
- Crossley, John N., 1937- (3)
- Hilbert, David, 1862-1943 (3)
- Kneebone, Geoffrey Thomas (3)
- Smullyan, Raymond M., 1919- (3)
- Wittgenstein, Ludwig, 1889-1951 (3)
- 安藤, 洋美 (3)
- 林, 一(1933-) (3)
- 田中, 一之 (3)
- 石本, 新(1917-) (3)
- 石谷, 茂(1913-) (3)
- 野本, 和幸(1939-) (3)
- 鈴木, 登志雄 (3)
- 長尾, 真(1936-) (3)
- Ackermann, Wilhelm, 1896- (2)
- Penrose, Roger (2)
- 中内, 伸光(1958-) (2)
- 井関, 清志(1919-2011) (2)
- 吉田, 夏彦(1928-) (2)
- 嘉田, 勝 (2)
- 小野, 寛晰(1942-) (2)
- 川辺, 治之 (2)
- 斎藤, 正彦(1931-) (2)
- 日野, 寛三(1925-) (2)
- 林, 晋(1953-) (2)
- 清水, 義夫(1939-) (2)
- 田中, 尚夫(1928-) (2)
- 藤村, 龍雄(1936-) (2)
- 藤田, 憲悦 (2)
- AMS-ASL Summer Institute on Recursion Theory (1)
- Affeldt, Reynald, 1976- (1)
- American Mathematical Society (1)
- Andrews, P. B. (Peter Bruce), 1937- (1)
- Australian Mathematical Society (1)
- Barnett, Raymond A. (1)
- Barwise, Jon (1)
- Beeson, Michael J., 1945- (1)
- Bernays, Paul, 1888-1977 (1)
- Byleen, Karl (1)
- Carroll, Lewis, 1832-1898 (1)
- Chang, Chin-Liang, 1937- (1)
- Chu-Carroll, Mark C. (1)
- Durst, Lincoln K. (1)
- Enderton, Herbert B (1)
- Etchemendy, John, 1952- (1)
- Gindikin, Semen Grigorʹevich (1)
- Gödel, Kurt, 1906-1978 (1)
- Hein, James L. (1)
- International Conference on Automated Deduction (1)
- Kalzhunin, L. A. (1)
- Klaus, Georg (1)
- Lee, Richard Char-Tung, 1939- (1)
- Logic Colloquium (1)
- Maor, Eli (1)
- Nagel, Ernest, 1901- (1)
- Nerode, Anil, 1932- (1)
- Newman, James Roy, 1907-1966 (1)
- Novikov, P. S. (Petr Sergeevich) (1)
- Polya, George, 1887-1985 (1)
- Reichenbach, Hans, 1891-1953 (1)
- Robinson, J. A. (John Alan) (1)
- Rucker, Rudy v. B. (Rudy von Bitter), 1946- (1)
- Shore, Richard A., 1946- (1)
- Siekmann, Jörg H., 1941- (1)
- Silverman, Robert H. (1)
- Snyers, Dominique, 1959- (1)
- Solow, Daniel (1)
- Spencer-Brown, G. (1)
- Stern, J. (1)
- Thayse, André, 1940- (1)
- Wagner, Klaus (1)
- Wechsung, Gerd (1)
- Wojtasiewicz, Olgierd (1)
- Ziegler, Michael R. (1)
- cocoatomo (1)
- Łukasiewicz, Jan (1)
- 三村, 護(1938-) (1)
- 丘沢, 静也(1947-) (1)
- 中島, 秀之(1952-) (1)
- 中平, 浩司(1932-2002) (1)
- 中村, 修(1943-) (1)
- 中谷, 太郎(1903-1997) (1)
- 伊藤, 誠 (1)
- 倉田, 令二朗(1931-) (1)
- 入江, 俊夫 (1970-) (1)
- 入江, 晴栄(1937-) (1)
- 八杉, 満利子(1937-) (1)
- 内井, 惣七(1943-) (1)
- 加藤, 暢(工学) (1)
- 北野, 晃朗(1958-) (1)
- 古川, 康一(1942-) (1)
- 古森, 雄一(1947-) (1)
- 吉永, 良正(1953-) (1)
- 向井, 国昭 (1)
- 坂井, 秀寿(1934-) (1)
- 基幹講座数学編集委員会 (1)
- 大出, 晁(1926-) (1)
- 大村, 平(1930-) (1)
>次へ