- Frege, Gottlob, 1848-1925 (6)
- 前原, 昭二(1927-1992) (6)
- 野本, 和幸(1939-) (5)
- Hilbert, David, 1862-1943 (4)
- 杉原, 丈夫(1914-) (4)
- 石谷, 茂(1913-) (4)
- Ackermann, Wilhelm, 1896- (3)
- Kneebone, Geoffrey Thomas (3)
- 安藤, 洋美 (3)
- 本橋, 信義(1943-) (3)
- 石本, 新(1917-) (3)
- 長尾, 真(1936-) (3)
- Crossley, John N., 1937- (2)
- 中内, 伸光(1958-) (2)
- 井関, 清志(1919-) (2)
- 伊藤, 誠 (2)
- 小島, 寛之(1958-) (2)
- 末木, 剛博(1921-) (2)
- 林, 晋(1953-) (2)
- 清水, 義夫(1939-) (2)
- 田中, 尚夫(1928-) (2)
- 細井, 勉(1937-) (2)
- 遠藤, 弘(1932-) (2)
- 金子, 洋之 (2)
- 鈴木, 登志雄 (2)
- AMS-ASL Summer Institute on Recursion Theory (1)
- American Mathematical Society (1)
- Andrews, P. B. (Peter Bruce), 1937- (1)
- Asociación Venezolana para el Avance de la Ciencia (1)
- Australian Mathematical Society (1)
- Barwise, Jon (1)
- Beeson, Michael J., 1945- (1)
- Bernays, Paul, 1888-1977 (1)
- Boole, George, 1815-1864 (1)
- Carnap, Rudolf, 1891-1970 (1)
- Chang, Chin-Liang, 1937- (1)
- Chauvineau, Jean (1)
- Czayka, Lothar, 1937- (1)
- Di Prisco, C. A., 1949- (1)
- Etchemendy, John, 1952- (1)
- Gindikin, Semen Grigorévich (1)
- Gödel, Kurt, 1906-1978 (1)
- Henle, James M. (1)
- Hermes, Hans (1)
- International Conference on Automated Deduction (1)
- Jeffrey, Richard C. (1)
- Kalzhunin, L. A. (1)
- Klaus, Georg (1)
- Kleene, Stephen Cole, 1909- (1)
- Latin-American Symposium on Mathematical Logic (1)
- Lee, Richard Char-Tung, 1939- (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)
- Russell, Bertrand, 1872-1970 (1)
- Schmidt, Diana (1)
- Shore, Richard A., 1946- (1)
- Siekmann, Jörg H., 1941- (1)
- Silverman, Robert H. (1)
- Snyers, Dominique, 1959- (1)
- Solow, Daniel (1)
- Thayse, André, 1940- (1)
- Thiele, Rüdiger (1)
- Trabant, Jürgen (1)
- Whitehead, Alfred North, 1861-1947 (1)
- Wittgenstein, Ludwig, 1889-1951 (1)
- Wojtasiewicz, Olgierd (1)
- Łukasiewicz, Jan (1)
- 中島, 秀之(1952-) (1)
- 中村, 修(1943-) (1)
- 中谷, 太郎(1903-) (1)
- 倉田, 令二朗(1931-) (1)
- 入江, 盛一(1911-) (1)
- 八杉, 満利子(1937-) (1)
- 内田, 種臣(1943-) (1)
- 北野, 晃朗(1958-) (1)
- 古川, 康一(1942-) (1)
- 吉田, 夏彦(1928-) (1)
- 向井, 国昭 (1)
- 土屋, 俊(1952-) (1)
- 坂井, 秀寿(1934-) (1)
- 大出, 晁(1926-) (1)
- 好田, 順治(1927-) (1)
- 安藤, 四郎(1928-) (1)
- 小川原, 倫子 (1)
- 小沢, 健一(1942-) (1)
- 小野, 寛晰(1942-) (1)
- 岡本, 賢吾(1957-) (1)
- 戸田山, 和久(1958-) (1)
- 斎藤, 晢郎 (1)
- 斎藤, 正彦(1931-) (1)
- 日野, 寛三(1925-) (1)
- 木戸, 正幸(1948-) (1)
- 木村, 泰紀(1970-) (1)
- 松本, 和夫(1922-) (1)
- 林, 雄一郎(1934-) (1)
>次へ