お気に入り図書館を設定すると、貸出状況が表示されます
エリアを選ぶ   現在地から探す

A reduction rule for Peirce's formula makes all the terms with the same type equalに関係する本がみつかりませんでした。

カーリルローカルでも探してみましょう。