論理・集合の文献リンク。ためしに、機能拡張。