Some theories conservative over intuitionistic arithmetic. Beeson, M. In Logic and Computation, volume 106, of Contemporary Mathematics. American Mathematical Society, Providence, R. I., 1987.
bibtex   
@incollection{beeson1987,
	address = {Providence, R.~I.},
	author = {Michael Beeson},
	booktitle = {Logic and Computation},
	date-added = {2014-11-14 21:43:00 +0000},
	date-modified = {2014-11-14 21:44:29 +0000},
	keywords = {Logic, Constructive mathematics},
	publisher = {American Mathematical Society},
	series = {Contemporary Mathematics},
	title = {Some theories conservative over intuitionistic arithmetic},
	volume = {106},
	year = {1987}}

Downloads: 0