『山の上のロジック学園』
https://gyazo.com/40a06013280dce19b9f317bea103f296
例えば$ \vdashや$ \vDashは特に説明もなく出てくる
わかりやすいかと言われると、微妙な気もする
1日目
メイリンが読んだらしい本
2日目
プロローグ
まえがき
2月28日(月) 授業1日目
等式ロジック
演習：ピグマリオン
3月1日(火) 授業2日目
等式理論とブール代数
演習：リンダ問題
3月2日(水) 授業3日目
命題論理
演習：ジレンマ
3月3日(木) 授業4日目
1階論理
演習：薔薇の名前
3月4日(金) 授業5日目
計算のロジック
演習：ヒア アフター
3月5日(土) 特別講義
カンディード
第1週のまとめ
3月7日(月) 授業6日目
第一不完全性定理
演習：星に想いを
3月8日(火) 授業7日目
第二不完全性定理
演習：逆の発想
3月9日(水) 授業8日目
不完全性定理とさまざまな論理
演習：ゴジラ
3月10日(木) 授業9日目
ランダム性と不完全性定理
演習：NUMB3RS
3月11日(金) 授業10日目
ゲーデル以降の展開
巨大地震襲来！！
五年目のペリパトス
第2週のまとめ
出版後記
エピローグ