Goodman's theorem and beyond. Beeson, M. Pacific Journal of Mathematics, 84:1-16, 1979.
bibtex   
@article{beeson1979a,
	author = {Michael Beeson},
	date-added = {2014-11-14 17:13:46 +0000},
	date-modified = {2014-11-14 18:10:48 +0000},
	journal = {Pacific Journal of Mathematics},
	keywords = {Logic, Constructive mathematics},
	pages = {1-16},
	title = {Goodman's theorem and beyond},
	volume = {84},
	year = {1979}}

Downloads: 0