正誤表

p.6, 9行目 と10行目の間に次の行を挿入：２元束 {0,1} を 2 と書く．
p.18, 下から10行目 　極大性（誤）　一意性（正）
p.29, 14行目 　Tukasiewicz（誤）　\verb+\L+ukasiewicz （正）
p.42, 下から3行目 　\Gamma は付値 v を充足する（誤）　 付値 v は \Gamma を充足する（正）
p.48, 11行目 　定義される関数．（誤）　定義される．（正）
p.48, 下から8行目 　M（誤）　\prod_{i\in I}M_i（正）
p.48, 下から５行目 　Lo\'s（誤）　\verb+\L+o\'s（正）
p.49,2行目　記号 m （誤）　記号の個数　m （正）
p.49, 下から8行目 　\parallel\psi(g,\bar{f})\parallel（誤）　 \parallel\exists x\psi(x,\bar{f})\parallel（正）
p.49, 下から7行目 　\exists x\psi(a_i,\bar{f}(i)) （誤）　\psi(a_i,\bar{f}(i))（正）
p.51, 2行目　　 定義 3.11 のあとへ移動
p.64, 下から2行目 　g=\mathrm{spec}(f)=y\circ f（誤）　g(y)=\mathrm{spec}(f)(y)=y\circ f （正）
p.69, 1行目 　\exists s\in F （誤）　\exists s\in S （正）
p.85,下から10行目 　前定理 （誤）　 　定理 5.51 （正）
p.93, 8行目 　p:A\rightarrow 2（誤）　 p\in\mathrm{pt}(A)（正）
p.93, 15行目 　p:A\rightarrow 2（誤）　 p\in\mathrm{pt}(A)（正）
p.94,下から8行目 　Xへの （誤）　　X,Yへの （正）
p.94,下から2行目 　オブジェクト X（誤）　 オブジェクトX （正）
p.95,14行目 　\mathrm{id}_Y,\mathrm{id}_{Y'}（誤）　 1_Y,1_{Y'}（正）
p.100, 6行目 　F(C) （誤）　 F(X)（正）
p.101, 7行目 　Boole（誤）　 Booleop（正）
p.101, 7行目 　Boole（誤）　 Booleop　（正）
p.102, 11行目　g が連続であることをいえばよいが （誤）　gは連続で条件をみたす．（正）
p.102, 12,13 行目： 削除
p.104, 10行目　g が （誤）　g は連続で条件をみたす．（正）
p.104, 11,12,13 行目：削除