Derived rules of inference related to the continuity of effective operations. Beeson, M. Journal of Symbolic Logic, 41:328-336, 1976.
bibtex   
@article{beeson1976c,
	author = {Michael Beeson},
	date-added = {2014-11-14 17:05:56 +0000},
	date-modified = {2014-11-14 18:09:47 +0000},
	journal = {Journal of Symbolic Logic},
	keywords = {Logic, Constructive mathematics},
	pages = {328-336},
	title = {Derived rules of inference related to the continuity of effective operations},
	volume = {41},
	year = {1976}}

Downloads: 0