林晋
”PX: A Computational Logic, S. Hayashi and H. Nakano” マサチューセッツ工科大学出版局 1988年
『構成的プログラミングの基礎』(小林聡と共著)遊星社 1991年
『情報系の数学入門』(八杉満利子と共著)オーム社 1993年
『ゲーデルの謎を解く』岩波書店 1993年
『プログラム検証論』共立出版 1995年
『論理パズルとパズルの論理』(八杉満利子と共著)遊星社 1998年
『パラドックス!』(編著)日本評論社 2000年
『お話・数学基礎論』(八杉満利子と共著)ブルーバックス 2002年
林 晋(はやし すすむ、1953年 - )は、日本の歴史学者・情報学者・数学者。神戸大学名誉教授、京都大学名誉教授。