※一部利用できない機能があります
- Hilbert, David, 1862-1943 (4)
- 前原, 昭二(1927-1992) (4)
- Ackermann, Wilhelm, 1896- (3)
- Kneebone, Geoffrey Thomas (3)
- 内井, 惣七(1943-) (3)
- 安藤, 洋美 (3)
- 石本, 新(1917-) (3)
- 石谷, 茂(1913-) (3)
- Crossley, John N., 1937- (2)
- Frege, Gottlob, 1848-1925 (2)
- Newman, James Roy, 1907-1966 (2)
- 井関, 清志(1919-) (2)
- 伊藤, 誠 (2)
- 内田, 種臣(1943-) (2)
- 吉田, 夏彦(1928-) (2)
- 杉原, 丈夫(1914-) (2)
- 田中, 尚夫(1928-) (2)
- 細井, 勉(1937-) (2)
- 遠藤, 弘(1932-) (2)
- 金子, 洋之 (2)
- 長尾, 真(1936-) (2)
- AMS-ASL Summer Institute on Recursion Theory (1)
- Alcantara, Luiz Paulo de, 1944- (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)
- Bochenski, Joseph M., 1902- (1)
- Boole, George, 1815-1864 (1)
- Carnap, Rudolf, 1891-1970 (1)
- Carroll, Lewis, 1832-1898 (1)
- Chauvineau, Jean (1)
- Costa, Newton C. A. da (1)
- Di Prisco, C. A., 1949- (1)
- Durst, Lincoln K. (1)
- Etchemendy, John, 1952- (1)
- Gindikin, Semen Grigorévich (1)
- Henle, James M. (1)
- Hermes, Hans (1)
- International Conference on Automated Deduction (1)
- Jeffrey, Richard C. (1)
- Kalzhunin, L. A. (1)
- Kleene, Stephen Cole, 1909- (1)
- Latin-American Symposium on Mathematical Logic (1)
- Morris, Charles William, 1901-1979 (1)
- Nagel, Ernest, 1901- (1)
- Nerode, Anil, 1932- (1)
- Novikov, P. S. (Petr Sergeevich) (1)
- Polya, George, 1887-1985 (1)
- Reichenbach, Hans, 1891-1953 (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)
- Spencer-Brown, G. (1)
- Stoli︠a︡r, A. A. (Abram Aronovich) (1)
- Thayse, André, 1940- (1)
- Thiele, Rüdiger (1)
- Trabant, Jürgen (1)
- Whitehead, Alfred North, 1861-1947 (1)
- Wittgenstein, Ludwig, 1889-1951 (1)
- Łukasiewicz, Jan (1)
- 上江洲, 忠弘(1942-) (1)
- 中井, 浩(1927-1992) (1)
- 中埜, 肇(1922-) (1)
- 中村, 修(1943-) (1)
- 中谷, 太郎(1903-) (1)
- 保坂, 秀正 (1)
- 倉田, 令二朗(1931-) (1)
- 入江, 盛一(1911-) (1)
- 吉永, 良正(1953-) (1)
- 吉田, 夏彦 (1)
- 和田, 和行(1949-) (1)
- 国嶋, 一則(1930-) (1)
- 坂井, 秀寿(1934-) (1)
- 大出, 晁(1926-) (1)
- 大森, 荘蔵(1921-) (1)
- 大沢, 真幸(1958-) (1)
- 大関, 将一(1902-1970) (1)
- 奥, 雅博(1941-) (1)
- 好田, 順治(1927-) (1)
- 安藤, 四郎(1928-) (1)
- 宮台, 真司(1959-) (1)
- 小川原, 倫子 (1)
- 小松, 寿 (1)
- 小林, 昭世(1955-) (1)
- 小沢, 健一(1942-) (1)
- 小野, 寛晰(1942-) (1)
- 山崎, 昇(1930-) (1)
- 岡本, 賢吾(1957-) (1)
- 戸田山, 和久(1958-) (1)
- 斎藤, 晢郎 (1)
- 斎藤, 正彦(1931-) (1)