Handbook of Practical Logic and Automated Reasoning
https://assets.cambridge.org/97805218/99574/cover/9780521899574.jpg
数年前, 内容に興味を持って少し読んでみたが, OCaml をそれなりに分かってないと実装パートの理解できないと感じて断念
イチからコードを書いていく形式ではないので, ライブラリのコードを適宜読む必要があった (うろ覚え)
理論パートは数理論理学の基礎的な内容な気がしている