入手した文献名を記すのみとします。いずれも Illative Combinatory Logic 関係のものです。 Henk Barendregt, Martin W. Bunder and Wil Dekkers “Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus,”…