定理証明の繰り返しで進んでいくような
コンピューターの本教えてください。
有名なのは知っているのであまり有名じゃないのでお願いします。