- 236 名前：自己言及の論理と計算」（2006年5月改訂；2007年8月追記）
https://www.kurims.kyoto-u.ac.jp/~hassei/selfref2006.pdf
自己言及の論理と計算∗長谷川真人
∗京都大学数理解析研究所 数学入門公開講座（2002年8月5〜8日）の予稿を改訂（2006年5月）／重要：2007年8月にSoto-Andrade とVarela の 1984 年の論文について追記
目次
I 自己言及と対角線論法
1 ラッセルの逆理
2 カントールの対角線論法
3 自己適用
4 停止性問題
5 対角線論法から不動点へ
6 不動点定理から具体例を見直す [] - [ここ壊れてます]
