単語帖――述語論理，不完全性定理，ゲーデルナンバー，カオス - 共立出版コンピュータサイエンス誌『bit』