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.
@article{Bunder87,
title = {Some Consistency Proofs and a Characterization of Inconsistency Proofs in Illative Combinatory Logic},
author = {Martin W. Bunder},
year = {1987},
tags = {consistency, logic},
researchr = {https://researchr.org/publication/Bunder87},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {52},
number = {1},
pages = {89-110},
}