In *Constructive Mathematics, Proceedings, New Mexico, 1980*, volume 873, of *Lecture Notes in Mathematics*, pages 146-191, 1981.

bibtex

bibtex

@inproceedings{beeson1981, author = {Michael Beeson}, booktitle = {Constructive Mathematics, Proceedings, New Mexico, 1980}, date-added = {2014-11-14 17:19:41 +0000}, date-modified = {2014-11-14 18:11:16 +0000}, editor = {Fred Richman}, keywords = {Logic, Constructive mathematics}, pages = {146-191}, series = {Lecture Notes in Mathematics}, title = {Formalizing constructive mathematics: why and how?}, volume = {873}, year = {1981}}

Downloads: 0