>>410

日本数学会のHPに入って、
　会員および数学研究者用　→　分科会　→　数学基礎論および歴史　→　特別講演
とすると、日本の主要数理論理学者一覧が見らる。