有关元逻辑推理的信息位于https://savannah.gnu.org/projects/metalogic-inference网站/。