以下の内容はhttps://kyoto-logic.hatenablog.com/entry/20130721より取得しました。
- 補講日：8月19日（月）
- 内容：
- 10:30-12:00 形式的自然数論Ｑ
- 13:30-15:00 2+2=4
- 15:30-17:00 原始再帰関数の表現可能性
以上の内容はhttps://kyoto-logic.hatenablog.com/entry/20130721より取得しました。
このページはhttp://font.textar.tv/のウェブフォントを使用してます
不具合報告/要望等はこちらへお願いします。
モバイルやる夫Viewer Ver0.14
