Raymond M. Smullyan. Analytic Cut. Journal of Symbolic Logic, 33(4):560-564, 1968.
@article{Smullyan68a,
title = {Analytic Cut},
author = {Raymond M. Smullyan},
year = {1968},
researchr = {https://researchr.org/publication/Smullyan68a},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {33},
number = {4},
pages = {560-564},
}