【田辺, 誠., et al. (1999). コンピュータサイエンス入門 論理とプログラム意味論, 岩波書店.】の誤植

p.13 l.15
X:=A; for C times do X:=suc X; end
-->
X:=A; for C times do X:=suc X end

p.31 l.-2, p.32 l.1
S |- φ
-->
S |= φ

p.32 l.14
t_i
-->
t_1