The non-derivability in intuitionistic formal systems of theorems on the continuity of effective operations. Beeson, M. Journal of Symbolic Logic, 40:321-346, 1976.
bibtex   
@article{beeson1976a,
	author = {Michael Beeson},
	date-added = {2014-11-14 17:07:04 +0000},
	date-modified = {2014-11-14 18:09:32 +0000},
	journal = {Journal of Symbolic Logic},
	keywords = {Logic, Constructive mathematics},
	pages = {321-346},
	title = {The non-derivability in intuitionistic formal systems of theorems on the continuity of effective operations},
	volume = {40},
	year = {1976}}

Downloads: 0