>>159
「証明は計算できる／項書き換えシステムと定理証明」に期待して買ったら、
続 新しいプログラミング・パラダイム 共立出版 1990/11/25 の
「最大公約数…」と同じ内容でがっかりした。