bibtex

@article{beeson1977b, author = {Michael Beeson}, date-added = {2014-11-14 17:11:54 +0000}, date-modified = {2014-11-14 18:09:59 +0000}, journal = {Annals of Mathematical Logic}, keywords = {Logic, Constructive mathematics}, pages = {249-322}, title = {Principles of continuous choice and continuity of functions in formal systems for constructive mathematics}, year = {1977}}

Downloads: 0