Technical Report Centre for Discrete Mathematics and Theoretical Computer Science (CDMTCS) Report 229, 2004.

bibtex

bibtex

@TECHREPORT{Ish04, author = {Ishihara, Hajime}, title = {Informal Constructive Reverse Mathematics}, institution = {Centre for Discrete Mathematics and Theoretical Computer Science (CDMTCS) Report 229}, year = {2004}, keywords = {bib,con}, pages = {1--8} }

Downloads: 0