定理の自動証明について勉強したいんだけど、なにかおすすめのテキストはある？
ちなみにまったくのど素人です。