On the equivalence of systems of rules and systems of axioms in illative combinatory logic
scientific article; zbMATH DE number 3544012