入門!論理学 (中公新書)作者: 野矢茂樹出版社/メーカー: 中央公論新社発売日: 2006/09メディア: 新書購入: 24人 クリック: 142回この商品を含むブログ (134件) を見る数理論理学は大学で習っていたのだが，論理学の本を読むのはこれが初めて．素人にも分かり…

TerminatorではUTF8しか表示できないのでiTermを使っていたのだが，SJISがおかしい．\が全角になったり，~が?になったりする．前はうまくいっていたような気がするのだが．