Martin W. Bunder. Some Consistency Proofs and a Characterization of Inconsistency Proofs in Illative Combinatory Logic. Journal of Symbolic Logic, 52(1):89-110, 1987.
No references recorded for this publication.
No citations of this publication recorded.