The following publications are possibly variants of this publication:
- Consistency Notions in Illative Combinatory LogicMartin W. Bunder. JSYML, 42(4):527-529, 1977.
- A paradox in illative combinatory logicMartin W. Bunder. ndjfl, 11(4):467-470, 1970. [doi]
- Significance and illative combinatory logicsMartin W. Bunder. ndjfl, 21(2):380-384, 1980. [doi]
- Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic into Illative Combinatory LogicWil Dekkers, Martin W. Bunder, Henk Barendregt. JSYML, 63(3):869-890, 1998.
- Scott's models and illative combinatory logicMartin W. Bunder. ndjfl, 20(3):609-612, 1979. [doi]
- Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate CalculusHenk Barendregt, Martin W. Bunder, Wil Dekkers. JSYML, 58(3):769-788, 1993.
- A Weak Absolute Consistency Proof for Some Systems of Illative Combinatory LogicMartin W. Bunder. JSYML, 48(3):771-776, 1983.
- Some Consistency Proofs and a Characterization of Inconsistency Proofs in Illative Combinatory LogicMartin W. Bunder. JSYML, 52(1):89-110, 1987.
- Equivalences between Pure Type Systems and Systems of Illative Combinatory LogicMartin W. Bunder, W. J. M. Dekkers. ndjfl, 46(2):181-205, 2005. [doi]
- Illative combinatory logic without equality as a primitive predicateMartin W. Bunder. ndjfl, 23(1):62-70, 1982. [doi]
- Arithmetic based on the Church numerals in illative combinatory logicMartin W. Bunder. sLogica, 47(2):129-143, 1988. [doi]