高崎金久：教育活動の紹介

学部および大学院の研究指導 (京都大学在職時の記録)

学んでみよう！記号論理（著書）

常微分方程式 (著書)

理工系 線形代数入門 (著書)

新入生のための数学序説 (著書)

数理論理学入門 (講義資料)