Michael Beeson. Derived Rules of Inference Related to the Continuity of Effective Operations. Journal of Symbolic Logic, 41(2):328-336, 1976.
@article{Beeson76a,
title = {Derived Rules of Inference Related to the Continuity of Effective Operations},
author = {Michael Beeson},
year = {1976},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/Beeson76a},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {41},
number = {2},
pages = {328-336},
}